A formal semantics definition of sequential Ada
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.
KeywordsStatement List Abstract Syntax Exception Handler Dynamic Semantic Access Type
Unable to display preview. Download preview PDF.