CfPBoK
by
Vadim Zaytsev
sle2015/paper06
SLE 2015
paper:
Modular Capture Avoidance for Program Transformations
Nico Ritschel
,
Sebastian Erdweg
🏆
Best Presentation Award
DOI:
10.1145/2814251.2814260
T3B: Transformation Languages
The core topic is program transformation/refactoring and preventing incorrect transformations due to variable capture.
T5D: Formal Methods
Capture avoidance is treated with principled correctness criteria that go beyond ad-hoc implementation.
T1D: Composition
It proposes a modular approach for composing transformation components without introducing capture.
T2B: Evolution
The setting includes refactorings and transformations used in maintenance and evolution workflows.
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.