Composite Refactorings for Java Programs
Mel Ó'Cinnéide, Patrick Nixon · eCite Digital Repository (University of Tasmania) · 2000
There has been much interest in refactoring recently, but little work has been done on tool support for refactoring or on demonstrating that a refactoring does indeed preserve program behaviour. We propose a method for developing composite refactorings for Java programs in such a way that a rigorous demonstration of behaviour preservation is possible.