Paper Info
Title
On the formal definition of ADA
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.
Year
DOI
Venue
1980
10.1007/3-540-10250-7_34
Semantics-Directed Compiler Generation
Keywords
Field
DocType
formal definition,programming language
Programming language,Computer science,Formal description,Semantics
Conference
ISBN
Citations 
PageRank 
3-540-10250-7
2
0.68
References 
Authors
3
3
Name
Order
Citations
PageRank
Véronique Donzeau-gouge17511.77
Gilles Kahn21437340.18
Bernard Lang323727.63