Question(s)

[Thomas Passin]

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.