© 1983 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
Extended Attribute Grammars

1 Computing Science Department, University of Glasgow, Glasgow, UK, 2 Computer Science Department, Aarhus University, Ny Munkegade, Aarhus, Denmark
Two new formalisms are introduced: extended attribute grammars, which are capable of defining completely the syntax of programming languages, and extended attributed translation grammars, which are additionally capable of defining their semantics by translation. These grammars are concise and readable, and their suitability for language definition is demonstrated by a realistic example. The suitability of a large class of these grammars for compiler construction is also established, by borrowing the techniques already developed for attributable grammars and affix grammars.
Received June 1982.
* Computing Science Department, University of Glasgow, Glasgow G12 8QQ, UK
Computer Science Department, Aarhus University, Ny Munkegade, DK 8000 Aarhus C, Denmark