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=-0.8 required=5.0 tests=BAYES_00,FORGED_MSGID_EXCITE,
	FREEMAIL_FROM,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: Dragonboy <dragonboy42@excite.com>
Subject: Re: Diana specification for Ada
Date: 2000/08/25
Message-ID: <39A697EA.C550BB83@excite.com>#1/1
X-Deja-AN: 662410893
Content-Transfer-Encoding: 7bit
References: <39A54478.68D5EA7C@excite.com> <39A5699F.A917383D@averstar.com>
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@ksu.edu
X-Trace: cnn.ksu.ksu.edu 967219149 28662 12.11.163.210 (25 Aug 2000 15:59:09
 GMT)
Organization: Kansas State University
Mime-Version: 1.0
NNTP-Posting-Date: 25 Aug 2000 15:59:09 GMT
Newsgroups: comp.lang.ada
Date: 2000-08-25T15:59:09+00:00
List-Id: <comp.lang.ada>

Why don't most vendors use it?  I was under the impression that it was an
extremely powerfull IR.  Is it too cumbersome?

You seem to know a bit about it.  Does the DOD use Diana?

Thanks.

-Mark


Tucker Taft wrote:

> 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