A denotational (static) semantics method for defining Ada context conditions
This paper outlines a denotational semantics like method for defining the statically decideable context conditions that Ada programs must satisfy. The resulting definition illustrates representational & operational abstraction by — in contrast to conventional attribute/affix grammar methods — not referring to any compiler realization.
KeywordsAbstract Syntax Array Type Access Type Program Text Package Body
Unable to display preview. Download preview PDF.