eCite Digital Repository

Composite Refactorings for Java Programs

Citation

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]

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.

Item Details

Item Type:Refereed Conference Paper
Research Division:Information and Computing Sciences
Research Group:Computer Software
Research Field:Programming Languages
Objective Division:Information and Communication Services
Objective Group:Computer Software and Services
Objective Field:Computer Software 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
Downloads:0

Repository Staff Only: item control page