From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.8 required=5.0 tests=BAYES_00,MISSING_DATE,
	MISSING_MID,MISSING_SUBJECT autolearn=no autolearn_force=no
	version=3.4.4
From: utzoo!decvax!harpo!eagle!cw
Newsgroups: net.lang.ada
Title: NYU/Ada-ED Did Get Validated
Article-I.D.: eagle.931
Posted: Mon May  9 13:43:40 1983
Received: Tue May 17 23:28:58 1983
References: tekmdp.1945
List-Id: <comp.lang.ada>
Message-ID: <20200615230049.NQSEivFrsIEejh6hF4_zhTjFBiV3956DT3vOx9uCICo@z>

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