Composite Refactorings for Java Programs

Mel O'Cinneide, Patrick Nixon

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


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

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

  • Cite this

    O'Cinneide, M., & Nixon, P. (2000). Composite Refactorings for Java Programs. 1-7. Paper presented at Formal Techniques for Java Programs 2000, Sophia Antipolis, France.