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,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!pacific.mps.ohio-state.edu!linac!att!ucbvax!tut.cis.ohio-state.edu!sei.cmu.edu!ae
From: ae@sei.cmu.edu (Arthur Evans)
Newsgroups: comp.lang.ada
Subject: Re: Summary of Diana Status
Message-ID: <23796@as0c.sei.cmu.edu>
Date: 9 Apr 91 14:33:18 GMT
References: <1991Apr8.163413.7071@engin.umich.edu>
Organization: Carnegie-Mellon University (Software Engineering Institute), Pgh, PA
In-reply-to: warack@engin.umich.edu's message of 8 Apr 91 16:34:13 GMT
List-Id: <comp.lang.ada>

Here's the word on the DIANA "standard", as I understand it.

Tartan had a contract in about 1982-83 to maintain DIANA; I was the PI.
The final report on the contract was subsequently published by
Springer-Verlag in their "Lecture Notes in Computer Science" series as
#161, with the title
    DIANA: An Intermediate Language for Ada, Revised Version
    ISBN 0-540-12695-3

Some time later, Intermetrics was under contract to maintain DIANA and
perform further upgrades.  They wrote a final report and submitted it to
the government.  As far as I have ever been able to determine, the
government has never released that report.  The Intermetrics person who
ran that effort was
    Carl Schaeffer    301-657-3775
That's an old number -- I have no idea whether or not it is still
current.

There is no real standard.  The closest thing generally available is the
Springer-Verlag book.  It seems likely that Intermetrics made
improvements, but that's hard to know.

Art Evans
Ada Consultant