TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

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

Print Reply
Mime-Version: 1.0
Sender: "Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
Date: Mon, 14 Dec 1998 18:39:09 -0500
Reply-To: "Robert I. Eachus" <[log in to unmask]>
From: "Robert I. Eachus" <[log in to unmask]>
In-Reply-To: <[log in to unmask]>
Content-Type: text/plain; charset="us-ascii"
Parts/Attachments: 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...