Computing Publications

Publications Home » An attribute grammar for Ada

An attribute grammar for Ada

Sophia Drossopoulou, Juergen Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein

Conference or Workshop Paper
Symposium on Compiler Construction
June, 1982
ACM
DOI 10.1145/800230.807008
Abstract

We describe the development of a formal specification of the static semantics of Ada in form of an attribute grammar. This specification is complete, and was tested extensively with automatically generated equivalent Pascal programs. From this specification we systematically developed the semantic analysis part of our Ada Compiler Front End. We outline the general proceeding when specifying semantic analysis with attribute grammars and then discuss to some extent examples about declaration elaboration and overloading resolution.

Keywords
Compilation and Dynamic Linking
SLURP
the Programmming Language Ada
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.