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.