Documentation: Difference between revisions
Created page with "'''Ada 83 documentation''' The primary source of information is the Language Reference Manual (LRM) published by the DoD. 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." |
|||
| (14 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
'''Ada 83 documentation''' | == '''Ada 83 documentation''' == | ||
=== '''The LRM''' === | |||
The primary source of information is the Language Reference Manual (LRM) published by the DoD. | The primary source of information is the [[ :File:Ada-Ref-Manual-ANSI-MIL-STD-1815A.pdf | Language Reference Manual ]] (LRM) published by the DoD. This document comprizes 338 pages with annexes and indexes. | ||
[[File:Ada LRM US gov.jpg|thumb|center| An original soft cover Ada 83 LRM distributed circa 1989 with an HP machine]] | |||
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. | 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 [[ : File:DEC ada lrm.pdf | here ]]. | ||
=== '''Some documents from prominent actors''' === | |||
The Jean Ichbiah [[ :File:Interview Ichbiah 1984.pdf | ACM interview ]] in 1984 exposes his point of view on Ada 83. | |||
A [[J_Ichbiah_mail_20_nov_1992|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 [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 ]] | |||
==== 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 ]] | |||
==== 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]] | |||
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