The browser you are using is not supported by this website. All versions of Internet Explorer are no longer supported, either by us or Microsoft (read more here: https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Please use a modern browser to fully experience our website, such as the newest versions of Edge, Chrome, Firefox or Safari etc.

Incremental Evaluation of Reference Attribute Grammars using Dynamic Dependency Tracking

På svenska

Author

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.

Publishing year

2012

Language

English

Publication/Series

LU-CS-TR:2012-249

Document type

Report

Publisher

Department of Computer Science, Lund University

Topic

  • Computer Science

Status

Unpublished

Report number

98

Research group

  • LUCAS

ISBN/ISSN/Other

  • ISSN: 1404-1200