Documentation: Difference between revisions
| (3 intermediate revisions by the same user not shown) | |||
| Line 17: | Line 17: | ||
==== The ENST theses and P.Kruchten / J.P.Rosen documents ==== | ==== The ENST theses and P.Kruchten / J.P.Rosen documents ==== | ||
In the end of 1986, two theses are presented at the ENST (Ecole Nationale Supérieure des Télécommunications) a work done in collaboration with the NYUADA project team where [https://en.wikipedia.org/wiki/Robert_Dewar Robert Dewar] is then working. | |||
* | * Philippe Kruchten : [[ :File:Thèse-P-Kruchten-ENST-1986.pdf | "une machine Ada virtuelle : architecture" ]] | ||
* | This is a very important reference for understanding Ada/Ed type template mechanism. | ||
* Jean Pierre Rosen : [[ :File:Thèse-JP-Rosen-ENST-1986.pdf | "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 [[ :File:Rosen Ada Numerics Model-AUJ43.pdf | here ]] | A short article, 3 pages, from J.P.Rosen on the Ada way of managing numerical computing portability is [[ :File:Rosen Ada Numerics Model-AUJ43.pdf | here ]] | ||
==== DIANA Intermediate Representation documents ==== | ==== DIANA Intermediate Representation documents ==== | ||
The DIANA intermediate representation revision 4 of 1986 [[:File:DIANA-Ref-Manual-1986-rev4.pdf | Intermetrics 1986 ]] | |||
Experiences with Ada code generation [[ :File:Exp_ada_codegen-BG-Zorn-UC-Berkeley-1984.pdf | B.Zorn Berkeley 1984 ]] | Experiences with Ada code generation [[ :File:Exp_ada_codegen-BG-Zorn-UC-Berkeley-1984.pdf | B.Zorn Berkeley 1984 ]] | ||
| Line 31: | Line 35: | ||
==== Ada 83 compiler research ==== | ==== Ada 83 compiler research ==== | ||
The these from J. van Katwijk at Delft university in 1987 describing the "Ada-" (Ada minus) compiler : [[File:Thesis J Katwijk AdaMinus compiler 1987.pdf|thesis Katwijk]] | The these from J. van Katwijk at Delft university in 1987 describing the "Ada-" (Ada minus) compiler : [[:File:Thesis J Katwijk AdaMinus compiler 1987.pdf|thesis Katwijk]] | ||
A rare article on the generics implementation in Ada 83 : | |||
[[:File:G Bray Generics.pdf|Implementation Implications of Ada Generics G.Bray sept 1983 ]] | |||
Latest revision as of 10:32, 11 June 2025
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
In the end of 1986, two theses are presented at the ENST (Ecole Nationale Supérieure des Télécommunications) a work done in collaboration with the NYUADA project team where Robert Dewar is then working.
- Philippe Kruchten : "une machine Ada virtuelle : architecture"
This is a very important reference for understanding Ada/Ed type template mechanism.
- 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