sle2025/paper10

SLE 2025 paper:
Dynamic Dependency-Based Purity Checking

Anton Risberg Alaküla, Niklas Fors, Christoph Reichenbach

• DOI: 10.1145/3732771.3742720
• T5B: Language Description Analysis
  • It analyses and checks semantic properties (purity/side effects) of embedded code fragments in language specifications.
• T3A: Meta-languages
  • The target setting is reference attribute grammars in JastAdd, a meta-language ecosystem for language definitions.
• T4A: Workbenches
  • Tragdor is delivered as a tool that instruments/runs specifications to detect property violations dynamically.

---

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