Composite Refactorings for Java Programs

M O'Cinneide, Patrick Nixon

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
LanguageEnglish
Title of host publicationUnknown Host Publication
Pages129-135
Number of pages7
Publication statusPublished - 2000
EventFormal Techniques for Java programs 2000 Proceedings - Sophia Antipolis, France
Duration: 1 Jan 2000 → …

Conference

ConferenceFormal Techniques for Java programs 2000 Proceedings
Period1/01/00 → …

Fingerprint

Demonstrations
Composite materials

Keywords

  • n/a

Cite this

O'Cinneide, M., & Nixon, P. (2000). Composite Refactorings for Java Programs. In Unknown Host Publication (pp. 129-135)
O'Cinneide, M ; Nixon, Patrick. / Composite Refactorings for Java Programs. Unknown Host Publication. 2000. pp. 129-135
@inproceedings{3f63b16c5c734427bcda7f2ff9ff8963,
title = "Composite Refactorings for Java Programs",
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.",
keywords = "n/a",
author = "M O'Cinneide and Patrick Nixon",
year = "2000",
language = "English",
pages = "129--135",
booktitle = "Unknown Host Publication",

}

O'Cinneide, M & Nixon, P 2000, Composite Refactorings for Java Programs. in Unknown Host Publication. pp. 129-135, Formal Techniques for Java programs 2000 Proceedings, 1/01/00.

Composite Refactorings for Java Programs. / O'Cinneide, M; Nixon, Patrick.

Unknown Host Publication. 2000. p. 129-135.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Composite Refactorings for Java Programs

AU - O'Cinneide, M

AU - Nixon, Patrick

PY - 2000

Y1 - 2000

N2 - 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.

AB - 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.

KW - n/a

M3 - Conference contribution

SP - 129

EP - 135

BT - Unknown Host Publication

ER -

O'Cinneide M, Nixon P. Composite Refactorings for Java Programs. In Unknown Host Publication. 2000. p. 129-135