From: emery@aries.mitre.org (David Emery)
Subject: Re: Help with Ada proof needed.
Date: 29 Mar 91 16:36:00 GMT [thread overview]
Message-ID: <EMERY.91Mar29113600@aries.mitre.org> (raw)
In-Reply-To: ljr@mitre.org's message of Fri, 29 Mar 1991 12:06:24 GMT
I personally do not know of any commercial (i.e. you pay $$ for it)
Ada compiler that is not validated. It's of course possible now to
call something "Ada" and not have it be validated. It's also very
unlikely, as the seller would receive major abuse from people who
discovered their Ada programs won't run.
DoD dropped the trademark registration because of a legal opinion that
stated the trademark was not enforcable.
dave emery
emery@aries.mitre.org
next prev parent reply other threads:[~1991-03-29 16:36 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
1991-03-29 16:36 ` David Emery [this message]
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