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: 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

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.