CfPBoK
by
Vadim Zaytsev
sle2016/paper15
SLE 2016
paper:
Symbolic Execution of High-Level Transformations
Ahmad Salim Al-Sibahi
,
Aleksandar S. Dimovski
,
Andrzej WÄ…sowski
DOI:
10.1145/2997364.2997382
T5D: Formal Methods
It applies symbolic execution as a formal technique to verify properties of transformations.
T3B: Transformation Languages
The subject of analysis is high-level transformation programs used in DSL engineering.
T4C: Vertical Transformation
Transformations are used to provide semantics (typing/evaluation), often as refinement steps toward executable artifacts.
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.