SLE 2015 tool/demo paper:
The Whiley Rewrite Language (WyRL)

David J. Pearce

DOI: 10.1145/2814251.2814266
T3B: Transformation Languages
- WyRL is explicitly a rewrite/transformation language for specifying declarative rewrite rules.
T4C: Vertical Transformation
- It includes a code generator that produces executable components from rewrite specifications.
T4A: Workbenches
- It is delivered as a standalone tool, i.e., language engineering infrastructure around the rewrite language.
T5D: Formal Methods
- Rewrite systems and their generators are typically justified with formal properties/correctness arguments.

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