CfPBoK
by
Vadim Zaytsev
sle2024/tool1
SLE 2024
tool/demo paper:
Trieste: A C++ DSL for Flexible Tree Rewriting
Sylvan Clebsch
,
Matilda Blomqvist
,
Elias Castegren
,
Matthew Johnson
,
Matthew Parkinson
DOI:
10.1145/3687997.3695647
T3B: Transformation Languages
Trieste is a dedicated DSL for expressing tree-rewriting passes used in compilation and analysis pipelines.
T4C: Vertical Transformation
Its primary application is structuring compiler passes that translate and lower ASTs across intermediate forms.
T5F: Performance
In-place rewriting is motivated by reducing overhead compared to copying-based transformation styles.
T1D: Composition
The design emphasises composing sequences of rewrite passes in a modular way.
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.