A VHDL compiler based on attribute grammar methodology
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
TransformGen: automating the maintenance of structure-oriented environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Tree transformation techniques and experiences
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Attribute grammars and data-flow languages
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Hi-index | 0.00 |
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. CR Categories and Subject Descriptors: D.3.1 [Programming Languages]: Formal definitions and Theory - semantics; D.3.4 [Programming Languages]: Processors - Translator writing systems and compiler generators; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages - algebraic approaches to semantics.