Composite Refactorings for Java Programs

Mel O'Cinneide, Patrick Nixon

Research output: Contribution to conference (non-published works)Paperpeer-review


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.
Original languageEnglish
Number of pages7
Publication statusPublished - 2000
Externally publishedYes
EventFormal Techniques for Java Programs 2000 - Sophia Antipolis, Sophia Antipolis, France
Duration: 12 Jun 200016 Jun 2000


ConferenceFormal Techniques for Java Programs 2000
CitySophia Antipolis


Dive into the research topics of 'Composite Refactorings for Java Programs'. Together they form a unique fingerprint.

Cite this