From: ljr@mitre.org (Luke J. Rheaume)
Subject: Re: Help with Ada proof needed.
Date: 29 Mar 91 12:06:24 GMT [thread overview]
Message-ID: <1991Mar29.120624.23454@linus.mitre.org> (raw)
In-Reply-To: 1991Mar29.002035.1@watt.ccs.tuns.ca
>The fact that we are using an Ada compiler certifies the compiler operates
>according to the Ada standard, and further proof on our part is not
>necessary.
The fact that you are useing an "Ada" compiler does not necessarily mean
that it is a "Validated" "Ada" compiler. The only way to know for sure is
to get the validation number and the test version against which the
compiler was validated. DoD had to change there rules on the use of the
"Ada" as a trademarked name because of a law suit....It use to be that you
couldn't call it Ada unless you were validated, but that has changed.
Luke J. Rheaume
ljr@mitre.org
next prev parent reply other threads:[~1991-03-29 12:06 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1991-03-29 4:20 Help with Ada proof needed macdonaldk
1991-03-29 12:06 ` Luke J. Rheaume [this message]
1991-03-29 16:36 ` David Emery
1991-03-30 9:35 ` George C. Harrison, Norfolk State University
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox