SLE 2014 SI paper:
Declarative rewriting through circular nonterminal attributes

Emma Söderberg, Görel Hedin

DOI: 10.1016/j.cl.2015.08.008
Extended version of Circular Higher-Order Reference Attribute Grammars (SLE 2013)
T3A: Meta-languages
- The paper advances the meta-language of reference attribute grammars (RAGs), introducing circular nonterminal attributes and an evaluation algorithm.
T3B: Transformation Languages
- Rewriting/AST transformation is a first-class concern, and the paper shows equivalence/mappings between rewrites and circular NTAs.
T1C: Behavioural Semantics
- The contribution is centered on executable semantics mechanisms (demand-driven evaluation, fixed-point iteration) for language definitions.
T5E: Empirical Evaluation
- It includes an experimental evaluation comparing algorithms on implemented example languages.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.