SLE 2012 paper:
Modular Well-Definedness Analysis for Attribute Grammars

Ted Kaminski, Eric Van Wyk

DOI: 10.1007/978-3-642-36089-3_20
T5B: Language Description Analysis
- The contribution is an analysis of language definitions (attribute grammars) ensuring completeness and non-circularity.
T1D: Composition
- It is explicitly modular, enabling independent extension modules to be checked locally while guaranteeing global properties.
T3A: Meta-languages
- The work is grounded in an extensible attribute-grammar meta-language (Silver) and its modular composition model.
T5D: Formal Methods
- Ensuring well-definedness properties is a formal correctness task with conservative analyses and associated arguments.

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