sle2024s/paper07

SLE 2024 SI paper:
Zipper-based embedding of strategic attribute grammars

José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva

• DOI: 10.1016/j.jss.2024.111975
• Extended version of Efficient Embedding of Strategic Attribute Grammars via Memoization (PEPM 2023)
• T3B: Transformation Languages
  • The work centers on strategic term rewriting (strategy combinators over tree traversals) as the primary programmable transformation mechanism.
• T3A: Meta-languages
  • Attribute grammars are a core formalism being embedded/combined, providing context-dependent computations over syntax trees.
• T4A: Workbenches
  • It delivers practical libraries (Haskell/Python) and positions them against established tooling (e.g., Strafunski, Kiama).
• T5F: Performance
  • A substantial part of the contribution is benchmarking and performance comparison, including improvements via memoization in zippers.

---

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