TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Proportional Font
Show Text Part by Default
Show All Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
"Robert I. Eachus" <[log in to unmask]>
Mon, 14 Dec 1998 18:39:09 -0500
text/plain (15 lines)
At 04:21 PM 12/14/98 -0500, Thomas W Moran wrote:
>Out of curiosity, what language does Airbus use?

  Ada, now.  The Airbus 320 used a specially designed language to allow
automatic theorem proving.  There were problems, not because of technical
implementation problems, but because the resulting code was not
transparent.  (Translation: It wasn't easy to find bugs in the requirements
by looking at the source code.)

                                        Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...

ATOM RSS1 RSS2