comp.lang.ada
 help / color / mirror / Atom feed
From: utcsrgv!peterr
Subject: Validation of first Ada compiler
Date: Fri Apr 29 12:08:10 1983
Date: 1983-04-29T12:08:10+00:00	[thread overview]
Date: Fri Apr 29 11:14:53 1983
Message-ID: <bnews.utcsrgv.1348> (raw)

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?]



                 reply	other threads:[~1983-04-29 12:08 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox