peterr (04/29/83)
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?]