sle2012s/paper05

SLE 2012 SI paper:
Monolithic and Modular Termination Analyses for Higher-Order Attribute Grammars

Lijesh Krishnan, Eric Van Wyk

• DOI: 10.1016/j.scico.2014.05.016
• Extended version of Termination Analysis for Higher-Order Attribute Grammars (SLE 2012)
• T5B: Language Description Analysis
  • The paper develops static analyses for attribute grammar specifications (termination of higher-order attribute evaluation), i.e., analysis of language descriptions.
• T5D: Formal Methods
  • It provides a sound (though incomplete) termination argument based on term-rewriting abstractions and correctness reasoning.
• T1D: Composition
  • The modular analysis is explicitly motivated by independently-developed language extensions and their safe composition.
• T4A: Workbenches
  • The analyses are implemented in and evaluated within an attribute-grammar system/tooling ecosystem (Silver/ableJ).

---

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