The Ada computer programming language was intended to provide the US Department of Defence and it's contractors with a common programming language and execution model to reduce the multiplicity of programming languages that had been used prior to its introduction.

This project aims to track down various notable or unusual Ada implementations:

First validated Ada compiler, the NYU Ada/Ed interpreter

Validation certificate for Ada/Ed interpreter

Validation Certificate 001 issued by the Ada Joint Program Office for the NYU Ada/Ed interpreter (image of certificate provided by Edmond Schonberg, with thanks). The date on the certificate is 11-April-1983 and it is signed by Robert F Mathis, PhD, Technical Director, Ada Joint Program Office.

Accession Number : ADA136759

Title :   Ada Compiler Validation Summary Report: NYU Ada/ED, Version 19.7 V-001.


Report Date : 11 APR 1983

Pagination or Media Count : 54

Abstract : The New York University Ada translator (NYU Ada/Ed), version 19.7 (March 21, 1983), was tested with version 1.1 (March 4, 1983) of the ACVC validation tests. Version 1.1 of the test suite contained 1,633 tests, of which 1,325 were applicable to NYU Ada/Ed. Of the applicable tests, 14 were withdrawn, due to errors in the tests. NYU Ada/Ed passed all of the remaining 1,311 applicable correct tests.

Descriptors :   *Compilers, *Computer program verification, Test and evaluation, Test methods, Validation, Computer program reliability, Programming languages, Files(Records), Control, Errors, Acceptability

Subject Categories : Computer Programming and Software Test Facilities, Equipment and Methods

Distribution Statement : APPROVED FOR PUBLIC RELEASE

From the Ada/Ed ReadMe:

Ada/Ed is a translator-interpreter for Ada 83. It is intended as a teaching tool, and does not have the capacity, performance, or robustness of commercial Ada compilers. Ada/Ed was developed at New York University, as part of a long-range project in language definition and software prototyping. The project produced the first validated translator for Ada, in the form of an executable definition of the language written in SETL. The SETL system served as design document and prototype for the C version [available from the NYU host].

Ada/Ed was last validated under version 1.7 of the ACVC tests (Ada 83). Therefore it is not currently a validated Ada system, and users can expect to find discrepancies between Ada/Ed and currently validated compilers (and none of the new Ada 95 mechanisms are implemented, of course).

Apart from the 100-odd tests of ACVC 1.11 that Ada/Ed failed, the major deficiency of the system is that, being an interpreter, it does not implement most representation clauses, and thus does not support systems programming close to the machine level.

Ada/Ed was first implemented in the set-based language known as SETL. This programming language was available initially for the VAX/VMS system and eventually for several other platforms, allowing Ada/Ed to also be used on systems with different architectures or operating systems. SETL itself was initially implemented in a FORTRAN-like language known as NYU LITTLE.

Later versions of Ada/Ed


Ada for inmos Transputer