Path: utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!pasteur!ucbvax!decwrl!purdue!i.cc.purdue.edu!j.cc.purdue.edu!pur-ee!uiucdcs!uxc.cso.uiuc.edu!uxe.cso.uiuc.edu!mcdonald From: mcdonald@uxe.cso.uiuc.edu Newsgroups: comp.lang.c Subject: Re: Volatile is stupid Message-ID: <225800039@uxe.cso.uiuc.edu> Date: 27 Jun 88 12:57:00 GMT References: <278@ralph.UUCP> Lines: 8 Nf-ID: #R:ralph.UUCP:278:uxe.cso.uiuc.edu:225800039:000:378 Nf-From: uxe.cso.uiuc.edu!mcdonald Jun 27 07:57:00 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?