An attribute grammar for Ada

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An attribute grammar for Ada

Full text

Pdf (727 KB)

Source

Symposium on Compiler Construction archive
Proceedings of the 1982 SIGPLAN symposium on Compiler construction table of contents

Boston, Massachusetts, United States

Page: 334

Year of Publication: 1982

ISBN:0-89791-074-5

Also published in ...

Authors

S. Drossopoulou	Universltät Karlsruhe, Inst. f. Informatlk II, Postfach 6380, D-7500 Karleruhe 1
J. Uhl	Universltät Karlsruhe, Inst. f. Informatlk II, Postfach 6380, D-7500 Karleruhe 1
G. Persch	Universltät Karlsruhe, Inst. f. Informatlk II, Postfach 6380, D-7500 Karleruhe 1
G. Goos	Universltät Karlsruhe, Inst. f. Informatlk II, Postfach 6380, D-7500 Karleruhe 1
M. Dausmann	Universltät Karlsruhe, Inst. f. Informatlk II, Postfach 6380, D-7500 Karleruhe 1
G. Winterstein	Universltät Karlsruhe, Inst. f. Informatlk II, Postfach 6380, D-7500 Karleruhe 1

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 20, Citation Count: 4

Additional Information:

abstract cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/800230.807008 What is a DOI?

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. 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.

CITED BY 4

	Rodney Farrow, Attribute grammars and data-flow languages, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.28-40, June 27-29, 1983, San Francisco, California, United States
	S. E. Keller , J. A. Perkins , T. F. Payton , S. P. Mardinly, Tree transformation techniques and experiences, ACM SIGPLAN Notices, v.19 n.6, p.190-201, June 1984
	David Garlan , Charles W. Krueger , Barbara Staudt Lerner, TransformGen: automating the maintenance of structure-oriented environments, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.727-774, May 1994
	R. Farrow , A. G. Stanculescu, A VHDL compiler based on attribute grammar methodology, ACM SIGPLAN Notices, v.24 n.7, p.120-130, July 1989