From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,53cc1587f9eb1d02 X-Google-Attributes: gid103376,public From: Tucker Taft Subject: Re: Diana specification for Ada Date: 2000/08/24 Message-ID: <39A5699F.A917383D@averstar.com>#1/1 X-Deja-AN: 662054404 Content-Transfer-Encoding: 7bit References: <39A54478.68D5EA7C@excite.com> X-Accept-Language: en Content-Type: text/plain; charset=us-ascii X-Complaints-To: usenet@inmet2.burl.averstar.com X-Trace: inmet2.burl.averstar.com 967141791 3168 141.199.8.77 (24 Aug 2000 18:29:51 GMT) Organization: AverStar (formerly Intermetrics) Burlington, MA USA Mime-Version: 1.0 NNTP-Posting-Date: 24 Aug 2000 18:29:51 GMT Newsgroups: comp.lang.ada Date: 2000-08-24T18:29:51+00:00 List-Id: Dragonboy wrote: > > Does anyone know where I can object a functional/design specification > for the Diana intermediate representation that is used by Ada > compilers? I know that it's some form of abstract syntax tree, but > that's about it. AverStar in its former guise of Intermetrics (Bethesda, MD) delivered a "Diana Reference Manual, Revision 4" to Naval Research Laboratory on 5 May 1986. The Intermetrics document number was "IR-MD-078" and the NRL contract number was N00014-84-C-2445. Unfortunately, the author's of that document have since left the company, but you might be able to call our Vienna office and see if they still have access to the old Bethesda archives (TEL: 703-827-2606, you might ask for Darryl Scott -- dscott@averstar.com). The other source would be Rational, who continue to use a variant of Diana in their Ada 95 compiler, I believe. Most other vendors do not use Diana currently, though all obviously have some form of abstract syntax tree, though it might be just for a fragment of the program. > > Thanks. > > -DB -- -Tucker Taft stt@averstar.com http://www.averstar.com/~stt/ Technical Director, Commercial Division, AverStar (formerly Intermetrics) (http://www.averstar.com/services/IT_consulting.html) Burlington, MA USA