From: eagle!cw
Subject: NYU/Ada-ED Did Get Validated
Date: Tue May 17 23:28:58 1983
Date: 1983-05-17T23:28:58+00:00 [thread overview]
Date: Mon May 9 13:43:40 1983
Message-ID: <bnews.eagle.931> (raw)
In-Reply-To: bnews.tekmdp.1945
Steve Scalpone, in a recent article here, seems to have a misconception
about validation. NYU's Ada/ED is the first validated Ada compiler;
it was validated by the organization set up by DoD for the purpose.
In the process, it naturally passed all the ACVC tests.
As it happens, passing the ACVC tests is necessary before one even
applies for validation; the compiler then must pass them (possibly
slightly modified) again and also be certified as reasonable.
When you send in your validation application, you promise that
you have successfully run all the tests.
So Scalpone is wrong; the race is over and NYU has won.
Of course, the real race is for a commerically viable validated compiler
and ROLM claims to be in the lead. But who knows.......
Charles
parent reply other threads:[~1983-05-17 23:28 UTC|newest]
Thread overview: expand[flat|nested] mbox.gz Atom feed
[parent not found: <bnews.tekmdp.1945>]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox