This paper gives a formal denotational dynamic semantics definition of the sequential parts of Ada. It describes the 'meaning' of (abstract) Ada constructs by state-to-state transformations on an abstract machine.
CITATION STYLE
Pedersen, J. S. (1980). A formal semantics definition of sequential Ada (pp. 213–308). https://doi.org/10.1007/3-540-10283-3_3
Mendeley helps you to discover research relevant for your work.