On the formal definition of ADA [chapter]

V. Donzeau-Gouge, G. Kahn, B. Lang
1980 Lecture Notes in Computer Science  
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.
doi:10.1007/3-540-10250-7_34 fatcat:ymlzrj6tkvhabk2c5kgclyzb5e