SLE 2025 paper:
Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars

Luke Bessant, Eric Van Wyk

DOI: 10.1145/3732771.3742711
T1B: Static Semantics
- It addresses name binding/name resolution, a central part of static semantics, via scope graphs.
T3A: Meta-languages
- The work translates annotated Statix specifications into reference attribute grammars, squarely in meta-language territory.
T4C: Vertical Transformation
- The contribution is about scheduling/construction of static analysis structures, i.e., how semantic processing is executed/compiled from specs.

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