Documentation
Ada 83 documentation
The LRM
The primary source of information is the Language Reference Manual (LRM) published by the DoD. This document comprizes 338 pages with annexes and indexes.
Given the importance of the DEC (Digital Equipment Corporation) in the Ada 83 decade, a lot of people knew or worked with DEC Ada whose commented LRM is here .
Some documents from prominent actors
The Jean Ichbiah ACM interview in 1984 exposes his point of view on Ada 83. A mail from J.Ichbiah to Christine Anderson in november 1992 is interesting from the point of view of this site, as it shows that preservation of Ada 83 is not only a computing history necessary task, but also the preservation of some qualities that revisions damaged. J.P.Rosen in his book "Méthodes de génie logiciel avec Ada 95" (préambule section 3.2 p.30) notes that heritage opposes to static type verification.
Various other documents and studies
The ENST theses and P.Kruchten / J.P.Rosen documents
A la fin de 1986, deux thèses sont passée à l'ENST (Ecole Nationale Supérieure des Télécommunications) un travail fait en collaboration avec l'équipe du projet NYUADA auquel travaille alors Robert Dewar.
- Thèse de Philippe Kruchten "une machine Ada virtuelle : architecture"
- Thèse de Jean Pierre Rosen "une machine virtuelle pour Ada : le système d'exploitation"
A short article, 3 pages, from J.P.Rosen on the Ada way of managing numerical computing portability is here
DIANA Intermediate Representation documents
The DIANA intermediate representation revision 4 of 1986 Intermetrics 1986
Experiences with Ada code generation B.Zorn Berkeley 1984
Ada 83 compiler research
The these from J. van Katwijk at Delft university in 1987 describing the "Ada-" (Ada minus) compiler : thesis Katwijk
A rare article on the generics implementation in Ada 83 : Implementation Implications of Ada Generics G.Bray sept 1983