Circular Higher-order Reference Attribute Grammars
Author
Summary, in English
Reference attribute grammars (RAGs) provide a practical declarative means to implement programming language compilers and other tools. RAGs have previously been extended to support both circular attributes and context-dependent declarative rewrites of the abstract syntax tree. In this previous work, dependencies between circular attributes and rewrites are not considered. In this paper, we investigate how these extensions can interact, and still be well defined. We introduce a generalized evaluation algorithm that can handle grammars where circular attributes and rewrites are interdependent. To this end, we introduce circular higher-order attributes, and show how RAG rewrites are a special form of such attributes.
Department/s
Publishing year
2013
Language
English
Pages
302-321
Publication/Series
Software Language Engineering: Lecture Notes in Computer Science
Volume
8225
Document type
Conference paper
Publisher
Springer
Topic
- Computer Science
Conference name
6th International Conference on Software Language Engineering (SLE'13)
Conference date
2013-10-27
Conference place
Indianapolis, Indiana, United States
Status
Published
Project
- ELLIIT LU P05: Scalable Language Tools for Cyber-Physical Systems
ISBN/ISSN/Other
- ISSN: 0302-9743
- ISSN: 1611-3349
- ISBN: 978-3-319-02653-4