eCite Digital Repository

Composite Refactorings for Java Programs


O'Cinneide, M and Nixon, Paddy, Composite Refactorings for Java Programs, Formal Techniques for Java Programs 2000 Proceedings, 12-16 June 2000, Sophia Antipolis, France, pp. 129-135. (2000) [Refereed Conference 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.

Item Details

Item Type:Refereed Conference Paper
Research Division:Information and Computing Sciences
Research Group:Software engineering
Research Field:Programming languages
Objective Division:Information and Communication Services
Objective Group:Information systems, technologies and services
Objective Field:Information systems, technologies and services not elsewhere classified
UTAS Author:Nixon, Paddy (Professor Paddy Nixon)
ID Code:69403
Year Published:2000
Deposited By:Research Division
Deposited On:2011-04-20
Last Modified:2011-06-01

Repository Staff Only: item control page