On 10/24/2023 7:37 PM, Grant Edwards via Python-list wrote:
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?
Sorry, I mixed myself up. The head of the team continued to develop the
techniques and market them. It's todays's version that can output C
(going from memory a few years old here). Sorry to have confused
everyone and myself.
--
https://mail.python.org/mailman/listinfo/python-list
