English

Refactoring = Substitution + Rewriting

Programming Languages 2023-02-06 v2 Software Engineering

Abstract

We present an approach to describing refactorings that abstracts away from particular refactorings to classes of similar transformations, and presents an implementation of these that works by substitution and subsequent rewriting. Substitution is language-independent under this approach, while the rewrites embody language-specific aspects. Intriguingly, it also goes back to work on API migration by Huiqing Li and the first author, and sets refactoring in that general context.

Keywords

Cite

@article{arxiv.2211.11550,
  title  = {Refactoring = Substitution + Rewriting},
  author = {Simon Thompson and Dániel Horpácsi},
  journal= {arXiv preprint arXiv:2211.11550},
  year   = {2023}
}

Comments

9pp

R2 v1 2026-06-28T06:22:53.984Z