sle2023/paper06

SLE 2023 paper:
Nanopass Attribute Grammars

Nathan Ringo, Lucas Kramer, Eric Van Wyk

• DOI: 10.1145/3623476.3623514
• T4C: Vertical Transformation
  • The paper adapts the nanopass compiler architecture using attribute grammars to structure multi-stage compilation and lowering.
• T3A: Meta-languages
  • Attribute grammars serve as the meta-language used to specify analyses and transformations across passes.
• T1B: Static Semantics
  • Many nanopass stages encode static semantic checks/analyses over intermediate language variants.

---

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