Skip to main content

Sound and extensible renaming for java

Max Schäfer, Torbjörn Ekman, Oege de Moor

DOI 10.1145/1449764.1449787 dblp BibTeX

Abstract

Descriptive names are crucial to understand code. However, good names are notoriously hard to choose and manually changing a globally visible name can be a maintenance nightmare. Hence, tool support for automated renaming is an essential aid for developers and widely supported by popular development environments.

Related papers

Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks ECOOP 2014
Modular capture avoidance for program transformations SLE 2015
Characterising renaming within OCaml's module system: theory and implementation PLDI 2019
Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code GPCE 2012
Sound type-dependent syntactic language extension POPL 2016
A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics CPP 2016
A Categorical Basis for Robust Program Analysis PLDI 2026
Semi-automatic rename refactoring for JavaScript OOPSLA 2013