Re: Aida computer language

Article View: net.general

Article #4221

#4221

From: Charles Lambert
Date: Wed, 15 May 1985 13:55

10 lines
897 bytes

I tried to mail this response to the original questioner, but our
Post program couldn't find the his machine.....

To the best of my knowledge, AIDA was developed at the request of the
U.S. Navy, for high-integrity military programming, so there ought to
be a wealth of information about it here.

Charlie Lambert
AT&T Bell Labs
Naperville, IL.

Technical Details

Message-ID: <1131@ihuxe.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxt!houxm!ihnp4!ihuxe!chas

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84 exptools; site ihuxe.UUCP
Path: arc1-ca.pugleaf.net!utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxt!houxm!ihnp4!ihuxe!chas
From: chas@ihuxe.UUCP (Charles Lambert)
Newsgroups: net.general
Subject: Re: Aida computer language
Message-ID: <1131@ihuxe.UUCP>
Date: Wed, 15-May-85 09:55:07 EDT
Article-I.D.: ihuxe.1131
Posted: Wed May 15 09:55:07 1985
Date-Received: Thu, 16-May-85 05:29:28 EDT
Distribution: net
Organization: AT&T Bell Laboratories
Lines: 10