Incremental Evaluation of Reference Attribute Grammars using Dynamic Dependency Tracking
Författare
Summary, in English
Reference attribute grammars (RAGs) have proven practical for gen-
erating production-quality compilers from declarative descriptions, as demonstrated by the JastAdd system. Recent results indicate their applicability also to generating semantic services in interactive editors. For use in editors, it is necessary to update the attribution after edit operations. Earlier algorithms based on statically scheduled incremental attribute evaluation are, however, not applicable to RAGs, as they do not account for the dynamic dependencies that reference attributes give rise to. In this report, we introduce a notion of consistency for RAG attributions, along with an algorithm for maintaining consistency after edit operations, based on dynamic dependency tracking. That is, we introduce a means to do incremental evaluation of RAGs using dynamic dependency tracking.
erating production-quality compilers from declarative descriptions, as demonstrated by the JastAdd system. Recent results indicate their applicability also to generating semantic services in interactive editors. For use in editors, it is necessary to update the attribution after edit operations. Earlier algorithms based on statically scheduled incremental attribute evaluation are, however, not applicable to RAGs, as they do not account for the dynamic dependencies that reference attributes give rise to. In this report, we introduce a notion of consistency for RAG attributions, along with an algorithm for maintaining consistency after edit operations, based on dynamic dependency tracking. That is, we introduce a means to do incremental evaluation of RAGs using dynamic dependency tracking.
Avdelning/ar
Publiceringsår
2012
Språk
Engelska
Publikation/Tidskrift/Serie
LU-CS-TR:2012-249
Fulltext
- Available as PDF - 344 kB
- Download statistics
Dokumenttyp
Rapport
Förlag
Department of Computer Science, Lund University
Ämne
- Computer Science
Status
Unpublished
Report number
98
Forskningsgrupp
- LUCAS
ISBN/ISSN/Övrigt
- ISSN: 1404-1200