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?