SLE 2026 tool/demo paper:
AGTix: Concise Use of Scope Graphs in Reference Attribute Grammars

Luke Bessant, Eric Van Wyk

DOI: 10.1145/3806383.3815522
Researchr: details/sle-2026/sle-2026/11/Tool-Paper-AGTix-Concise-Use-of-Scope-Graphs-in-Reference-Attribute-Grammars
T3A: Meta-languages
- AGTix extends reference attribute grammars as a meta-language for concise specification of scope graphs and name resolution.
T1B: Static Semantics
- Scope graphs and name-resolution constraints support static semantics such as binding and declaration lookup.
T1D: Composition
- The contribution integrates Statix-like scope-graph constraints with traditional reference attribute grammar equations.
T4A: Workbenches
- AGTix is implemented as an extension to the Silver attribute-grammar system.

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