On the formal definition of ADA

  • V. Donzeau-Gouge
  • G. Kahn
  • B. Lang
Related Topics
Part of the Lecture Notes in Computer Science book series (LNCS, volume 94)


This report presents the essential design decisions that were made when drafting the Formal Definition of the programming language Ada, commissioned by the U.S( Department of Defense. The goals, structure and conventions of the document are outlined. This paper constitutes an introduction to reading the Formal Definition.


Programming Languages semantics programming environment 


  1. [Donzeau-Gouge]
    V.Donzeau-Gouge, G. Huet, G. Kahn, B. Lang, J-J. Levy "A structure oriented program editor", Proceedings of the International Computing Symposium, North-Holland Publishing Company, 1975.Google Scholar
  2. [Gordon]
    M. J. Gordon, Descriptive Techniques for Denotational Semantics, Springer Verlag, 1979.Google Scholar
  3. [Hennessy-Plotkin]
    M. Hennessy, G. D. Plotkin, "Full abstraction for a simple parallel programming language", MFCS Proceedings, Sept. 1979Google Scholar
  4. [Huet-Levy]
    G. Huet, J-J. Levy, "Call-by-need computations in non-ambiguous linear term rewriting systems", Rapport IRIA-Laboria no. 359, August 1979.Google Scholar
  5. [Kahn]
    G. Kahn (Ed.) Semantics of concurrent computations, Lecture Notes Volume 70, Springer Verlag 1979.Google Scholar
  6. [Luckham-Polak]
    D. C. Luckham, W. Polak, "Ada Exception Handling: An Axiomatic Approach", Stanford University Artificial Intelligence Laboratory, August 1979.Google Scholar
  7. [Milne-Strachey]
    R. Milne, C. Strachey, A Theory of Programming Language Semantics, Chapman and Hall, 1976.Google Scholar
  8. [Milner]
    M. Gordon, R. Milner, C. Wadsworth, "Edinburgh LCF", Computer Science Department, University of Edinburgh, 1978.Google Scholar
  9. [Mosses]
    SIS-Semantics Implementation System, Reference Manual and User Guide, DAIMI MD-30, University of Aarhus, August 1979.Google Scholar
  10. [Mosses]
    P. Mosses, "The Mathematical Semantics of Algol 60", Technical Monograph PRG-12, Oxford University Programming Research Group, January 1974.Google Scholar
  11. [Scheifler]
    R. W. Scheifler, "A Denotational Semantics of CLU", Master's Thesis, MIT Laboratory For Computer Science, May 1978.Google Scholar
  12. [Stoy]
    J. Stoy, Denotational Semantics: The Scott-Strachey approach to Programming Language Theory, MIT Press, 1977.Google Scholar
  13. [Tennent]
    R. D Tennent "A denotational definition of the programming language PASCAL", Programming Research Group Memorandum, Oxford University, April 1978.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • V. Donzeau-Gouge
    • 1
  • G. Kahn
    • 1
  • B. Lang
    • 1
  1. 1.IRIA-LaboriaRocquencourt France B. Krieg-Brueckner CII-HBFrance

Personalised recommendations