Official websites use .gov A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
NOTE: According to Hoare, the reported course of the VENUS probe failure was not correct. FORTRAN was not in use at the time. However, the prediction of the danger of ADA exceptions was justified by the unfortunate loss of Ariane V.
Location:
Box: 33. Folder: 120
Rights:
Reproduced with permission of Charles A. R. Hoare.