Towards a Formal Description of Ada 1980

Dines Bjørner, Ole N. Oest (Eds.): Towards a Formal Description of Ada. Lecture Notes in Computer Science 98 Springer 1980, ISBN 3-540-10283-3 BibTeX

@proceedings{DBLP:conf/sigada/1980,
  editor    = {Dines Bj{\o}rner and
               Ole N. Oest},
  title     = {Towards a Formal Description of Ada},
  booktitle = {Towards a Formal Description of Ada},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {98},
  year      = {1980},
  isbn      = {3-540-10283-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Compiler Development

Dines Bjørner, Ole N. Oest: The DDC Ada Compiler Development Project. 1-20 BibTeX

A Formal Definition of Ada

Jørgen Bundgaard, Lennart Schultz: A Denotational (Static) Semantics Method for Defining Ada Context Conditions. 21-212 BibTeX
Jan Storbank Pedersen: A Formal Semantics Definition of Sequential Ada. 213-308 BibTeX
Hans Henrik Lovengreen: Parallelism in Ada. 309-434 BibTeX

An Ada Computer

Ole Dommergaard: The Design of a Virtual Machine for Ada. 435-606 BibTeX

Appendix

Dines Bjørner: Reference Manual for the Meta-Language. 607-623 BibTeX