On 2023-10-24, Thomas Passin via Python-list <python-list@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?

-- 
https://mail.python.org/mailman/listinfo/python-list

Reply via email to