Composite Refactorings for Java Programs

Mel O'Cinneide, Patrick Nixon

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

Abstract

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
Pages1-7
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

Conference

ConferenceFormal Techniques for Java Programs 2000
CountryFrance
CitySophia Antipolis
Period12/06/0016/06/00

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

Cite this