University of Tasmania
Browse

File(s) not publicly available

Composite Refactorings for Java Programs

conference contribution
posted on 2023-05-23, 05:15 authored by O'Cinneide, M, Nixon, Paddy
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.

History

Publication title

Formal Techniques for Java Programs 2000 Proceedings

Editors

S Drossopoulou, S Eisenbach, B Jacobs, GT Leavens, P Mueller and A Poetzsch-Heffter

Pagination

129-135

Publisher

Computer Science Department of the FernUniversitat Hagen

Place of publication

Hagen, Germany

Event title

2nd ECOOP Workshop on Formal Techniques for Java Programs, held in conjunction with European Conference on Object-Oriented Programming (ECOOP 2000)

Event Venue

Sophia Antipolis, France

Date of Event (Start Date)

2000-06-12

Date of Event (End Date)

2000-06-16

Repository Status

  • Restricted

Socio-economic Objectives

Information systems, technologies and services not elsewhere classified

Usage metrics

    University Of Tasmania

    Categories

    Keywords

    No keyword provided

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC