arXiv 2211.11550
Refactoring = Substitution + Rewriting
By Simon Thompson and Dániel Horpácsi
Published 2022-11-21
Mindmap
Browse the paper's core ideas, clusters, and relationships in a structured outline.
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 th…