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