Skip to main content
Kent Academic Repository

Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings

Thompson, Simon, Horpacsi, Daniel (2023) Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings. In: Eelco Visser Commemorative Symposium. Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs) , 109. 26:1-26:9. Schloss Dagstuhl — Leibniz-Zentrum für Informatik, Dagstuhl, Germany ISBN 978-3-95977-267-9. (doi:10.4230/OASIcs.EVCS.2023.26) (KAR id:100564)

Abstract

Eelco Visser’s work has always encouraged stepping back from the particular to look at the underlying, conceptual problems.

In that spirit 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.

Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.4230/OASIcs.EVCS.2023.26
Uncontrolled keywords: refactoring, generic, language independent, rewriting, substitution, API upgrade
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Funders: Engineering and Physical Sciences Research Council (https://ror.org/0439y7842)
Depositing User: S. Thompson
Date Deposited: 22 Mar 2023 08:47 UTC
Last Modified: 23 Mar 2023 10:03 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/100564 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.