Program Refactoring, Program Synthesis, and Model-Driven Development
No abstract available.
Related papers
- Refactoring with synthesis OOPSLA 2013
- Pol: specification-driven synthesis of architectural code frameworks for platform-based applications GPCE 2012
- Synthesis-powered optimization of smart contracts via data type refactoring OOPSLA 2022
- Language-Parametric Reference Synthesis OOPSLA 2025
- Equivalence by Canonicalization for Synthesis-Backed Refactoring PLDI 2024
- Program Synthesis for Program Analysis TOPLAS 2018
- A language and framework for invariant-driven transformations GPCE 2009
- Test-driven synthesis PLDI 2014