Question(s)
Grant Edwards
grant.b.edwards at gmail.com
Tue Oct 24 19:37:22 EDT 2023
On 2023-10-24, Thomas Passin via Python-list <python-list at python.org> wrote:
> Something less ambitious than a full proof of correctness of an
> arbitrary program can sometimes be achieved. The programming team
> for the Apollo moon mission developed a system which, if you would
> write your requirements in a certain way, could generate correct C
> code for them.
Er, what?
C didnt' exist until after the Apollo program was done.
FORTRAN, perhaps?
More information about the Python-list
mailing list