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.3 required=5.0 tests=BAYES_00,INVALID_MSGID,
	MSGID_FROM_MTA_HEADER autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 126597,6571c79868e80aa7,start
X-Google-Attributes: gid126597,public
X-Google-ArrivalTime: 1983-05-17 23:28:58 PST
Message-ID: <bnews.eagle.931>
Newsgroups: net.lang.ada
Path: utzoo!decvax!harpo!eagle!cw
X-Path: utzoo!decvax!harpo!eagle!cw
From: eagle!cw
Date: Tue May 17 23:28:58 1983
Subject: NYU/Ada-ED Did Get Validated
References: <bnews.tekmdp.1945>
X-Google-Info: Converted from the original B-News header
Posted: Mon May  9 13:43:40 1983
Received: Tue May 17 23:28:58 1983
Date: 1983-05-17T23:28:58+00:00
List-Id: <comp.lang.ada>

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