Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings (EVCS - Eelco Visser Commemorative Symposium) - EVCS

Wed 5 Apr 2023 Delft, Netherlands

Who

Simon Thompson, Dániel Horpácsi

Track

EVCS Eelco Visser Commemorative Symposium

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 5 Apr 2023 15:10 - 15:20 at Theatre Hall - Session 3: Parsing & Transformation Chair(s): Bernd Fischer

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.

Link to Preprint

https://arxiv.org/abs/2211.11550

DOI

https://doi.org/10.48550/arXiv.2211.11550

Simon Thompson

IOHK, University of Kent, and ELTE

United Kingdom

Dániel Horpácsi

Eötvös Loránd University

Hungary

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Wed 5 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	14:00 - 15:30	Session 3: Parsing & TransformationEelco Visser Commemorative Symposium at Theatre Hall Chair(s): Bernd Fischer Stellenbosch University, South Africa

	14:00 10m Talk		Context in Parsing: Techniques and Applications Eelco Visser Commemorative Symposium Eric Van Wyk Department of Computer Science and Engineering, University of Minnesota, USA Pre-print
	14:10 10m Talk		Comparing Bottom-up with Top-down Parsing Architectures for the Syntax Definition Formalism from a Disambiguation Standpoint Eelco Visser Commemorative Symposium Jurgen Vinju CWI; Eindhoven University of Technology Pre-print
	14:20 10m Talk		Analysing the SML97 Definition: Lexicalisation Eelco Visser Commemorative Symposium Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway University of London
	14:30 10m Talk		On the Origins of Coccinelle Eelco Visser Commemorative Symposium Julia Lawall Inria File Attached
	14:40 10m Talk		Typed Multi-Language Strategy Combinators Eelco Visser Commemorative Symposium James Koppel Massachusetts Institute of Technology, USA
	14:50 10m Talk		Towards Modular Compilation Using Higher-Order Effects Eelco Visser Commemorative Symposium Jaro Reinders TU Delft
	15:00 10m Talk		Visitor Optimization Revisited – Realizing Traversal Graph Pruning by Runtime Bytecode Generation Eelco Visser Commemorative Symposium Markus Lepper semantics GmbH, Baltasar Trancón y Widemann Nordakademie
	15:10 10m Talk		Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings Eelco Visser Commemorative Symposium Simon Thompson IOHK, University of Kent, and ELTE, Dániel Horpácsi Eötvös Loránd University DOI Pre-print
	15:20 10m Other		Session closing Eelco Visser Commemorative Symposium