SLE 2026 paper:
Ztrategic: Libraries and Tools for Software Language Specification, Transformation, and Testing

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

DOI: 10.1145/3806383.3815515
Researchr: details/sle-2026/sle-2026/4/Ztrategic-Libraries-and-Tools-For-Software-Language-Specification-Transformation-a
T4A: Workbenches
- The paper presents Ztrategic as a framework of libraries and tools for language specification, transformation, and testing.
T3B: Transformation Languages
- Strategic term rewriting is one of the central formalisms embedded by the framework for transformation tasks.
T3A: Meta-languages
- Attribute grammars are used as a meta-language formalism for specifying language analyses over syntax trees.
T5C: Testing
- Property-based testing in language engineering is an explicit supported use case of the framework.

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