From: ryer@inmet
Subject: Re: Ada analyzing tools
Date: 1 Sep 89 13:26:00 GMT [thread overview]
Message-ID: <20600005@inmet> (raw)
In-Reply-To: 26785@shemp.CS.UCLA.EDU
The Intermetrics Ada compiler hosted on Amdahl's System V Unix on
370-compatible machines produces DIANA. General Research Corporation
has built the "Ada Test and Verification System" (ATVS) under contract
to RADC. These tools include basic static verification, and use the
DIANA generated by an Intermetrics compiler as input. However, the
ATVS runs on VAX/VMS and used the VAX-hosted version of the compiler.
The DIANA generated by Intermetrics on the VAX and 370 hosts is
identical (at the source level), so GRC's tools *could* be rehosted
to 370 Unix, or the whole Ada FE + ATVS combination could be rehosted
to any other Unix.
Hope that helps.
Mike Ryer
Intermetrics
prev parent reply other threads:[~1989-09-01 13:26 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1989-08-30 16:18 Ada analyzing tools tai
1989-09-01 13:26 ` ryer [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox