Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Incremental Evaluation of Reference Attribute Grammars using Dynamic Dependency Tracking

Söderberg, Emma LU orcid and Hedin, Görel LU orcid (2012) In LU-CS-TR:2012-249
Abstract
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... (More)
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. (Less)
Please use this url to cite or link to this publication:
author
and
organization
publishing date
type
Book/Report
publication status
unpublished
subject
in
LU-CS-TR:2012-249
publisher
Department of Computer Science, Lund University
report number
98
ISSN
1404-1200
language
English
LU publication?
yes
id
c2b6f02c-e473-4777-b6b7-dac621560fee (old id 2543170)
date added to LUP
2016-04-01 13:20:24
date last changed
2021-05-06 18:58:44
@techreport{c2b6f02c-e473-4777-b6b7-dac621560fee,
  abstract     = {{Reference attribute grammars (RAGs) have proven practical for gen-<br/><br>
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.}},
  author       = {{Söderberg, Emma and Hedin, Görel}},
  institution  = {{Department of Computer Science, Lund University}},
  issn         = {{1404-1200}},
  language     = {{eng}},
  number       = {{98}},
  series       = {{LU-CS-TR:2012-249}},
  title        = {{Incremental Evaluation of Reference Attribute Grammars using Dynamic Dependency Tracking}},
  url          = {{https://lup.lub.lu.se/search/files/3312049/2543179.pdf}},
  year         = {{2012}},
}