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 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.
Corporate Author : SOFTECH INC WALTHAM MA
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,
Subject Categories : Computer Programming and Software Test Facilities, Equipment and Methods
Distribution Statement : APPROVED FOR PUBLIC RELEASE
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.
Ada for inmos Transputer