Abstract
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.
Chapter PDF
Similar content being viewed by others
References
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.
M. J. Gordon, Descriptive Techniques for Denotational Semantics, Springer Verlag, 1979.
M. Hennessy, G. D. Plotkin, "Full abstraction for a simple parallel programming language", MFCS Proceedings, Sept. 1979
G. Huet, J-J. Levy, "Call-by-need computations in non-ambiguous linear term rewriting systems", Rapport IRIA-Laboria no. 359, August 1979.
G. Kahn (Ed.) Semantics of concurrent computations, Lecture Notes Volume 70, Springer Verlag 1979.
D. C. Luckham, W. Polak, "Ada Exception Handling: An Axiomatic Approach", Stanford University Artificial Intelligence Laboratory, August 1979.
R. Milne, C. Strachey, A Theory of Programming Language Semantics, Chapman and Hall, 1976.
M. Gordon, R. Milner, C. Wadsworth, "Edinburgh LCF", Computer Science Department, University of Edinburgh, 1978.
SIS-Semantics Implementation System, Reference Manual and User Guide, DAIMI MD-30, University of Aarhus, August 1979.
P. Mosses, "The Mathematical Semantics of Algol 60", Technical Monograph PRG-12, Oxford University Programming Research Group, January 1974.
R. W. Scheifler, "A Denotational Semantics of CLU", Master's Thesis, MIT Laboratory For Computer Science, May 1978.
J. Stoy, Denotational Semantics: The Scott-Strachey approach to Programming Language Theory, MIT Press, 1977.
R. D Tennent "A denotational definition of the programming language PASCAL", Programming Research Group Memorandum, Oxford University, April 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Donzeau-Gouge, V., Kahn, G., Lang, B. (1980). On the formal definition of ADA. In: Jones, N.D. (eds) Semantics-Directed Compiler Generation. SDCG 1980. Lecture Notes in Computer Science, vol 94. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10250-7_34
Download citation
DOI: https://doi.org/10.1007/3-540-10250-7_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10250-2
Online ISBN: 978-3-540-38339-0
eBook Packages: Springer Book Archive