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.
    Original languageEnglish
    Title of host publicationUnknown Host Publication
    PublisherFernUniversität
    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 → …

    Keywords

    • n/a

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

    Cite this