From: ryer@inmet.inmet.com
Subject: Re: Status of Diana?
Date: 29 Mar 91 21:02:00 GMT [thread overview]
Message-ID: <20600095@inmet> (raw)
In-Reply-To: 1559@<1991Mar25
Intermetrics compilers use DIANA. Our DIANA has some locally defined
extensions and representation tricks.
The interface is open. We have provided it to other developers.
Currently, General Research Corp's "Ada Test and Verification System (ATVS)"
is the only commercially available product from another company that is based
on our DIANA. GRC has also developed an "Expert Avionics Code Modification"
system that uses our DIANA as a database.
Intermetrics uses DIANA as the IL for code generation, for our AdaView
symbolic debugger, and our Byron PDL tool.
Mike Ryer
next parent reply other threads:[~1991-03-29 21:02 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <1559@<1991Mar25>
1991-03-29 21:02 ` ryer [this message]
1991-03-25 0:15 Status of Diana? Christopher Warack
1991-03-26 2:51 ` Jim Showalter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox