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,179d5c980cd4af9c,start
X-Google-Attributes: gid126597,public
X-Google-ArrivalTime: 1983-04-29 08:14:53 PST
Message-ID: <bnews.utcsrgv.1348>
Newsgroups: net.lang.ada
Path: utzoo!utcsrgv!peterr
X-Path: utzoo!utcsrgv!peterr
From: utcsrgv!peterr
Date: Fri Apr 29 12:08:10 1983
Subject: Validation of first Ada compiler
X-Google-Info: Converted from the original B-News header
Posted: Fri Apr 29 11:14:53 1983
Received: Fri Apr 29 12:08:10 1983
Date: 1983-04-29T12:08:10+00:00
List-Id: <comp.lang.ada>

Here is a message I received...
>>From watmath!watbun!pdstachour Thu Apr 28 23:31:09 1983
Re:    Validation of first Ada "compiler"
From:  Paul D. Stachour <watbun!pdstachour>
 
John Goodenough, of SofTech (the organization that wrote the ACVC)
announced last week that the New York University Ada/Ed translator
(an interpreter written in SETL, a very high-level and inefficiently
interpreted language) had passed version 1.1 of the ACVC.

[I think ACVC is Ada Compiler Validation <something>, a set of Ada programs
 similar in purpose to the Pascal test suites which, when compiled by a
 given compiler and run, should produce known output if the compiler is
 working properly.  Anyone know what the last 'C' stands for?]