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
function Message (Text: in Clever_Ideas) return Better_Ideas is...