sle2022/paper08

SLE 2022 paper:
Specializing Scope Graph Resolution Queries

Aron Zwaan

• DOI: 10.1145/3567512.3567523
• T1B: Static Semantics
  • It improves name-resolution/type-checking (static semantics) via specialized scope-graph queries.
• T5F: Performance
  • The specialization targets faster, more scalable resolution/query execution.
• T3A: Meta-languages
  • Scope graphs act as a metalanguage/formalism for describing name binding and resolution.

---

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