Volatile is stupid

mcdonald at uxe.cso.uiuc.edu mcdonald at uxe.cso.uiuc.edu
Mon Jun 27 22:57:00 AEST 1988



>Then the program will work fine for five years, and someone will install
>it in an airplane controller, then someone else will manually `correct'
>something, and your program will crash, along with the airplane.  This
>is what correctness checking is all about.

Does anyone know what language was used to write the control program
for the Airbus A320 "crash by wire" plane?



More information about the Comp.lang.c mailing list