Question(s)
Thomas Passin
list1 at tompassin.net
Tue Oct 24 21:11:08 EDT 2023
On 10/24/2023 7:37 PM, Grant Edwards via Python-list wrote:
> 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?
>
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.
More information about the Python-list
mailing list