Composite Refactorings for Java Programs

M O'Cinneide, Patrick Nixon

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


    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
    Title of host publicationUnknown Host Publication
    Number of pages7
    Publication statusPublished (in print/issue) - 2000
    EventFormal Techniques for Java programs 2000 Proceedings - Sophia Antipolis, France
    Duration: 1 Jan 2000 → …


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


    • n/a


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

    Cite this