Authors
Mel O Cinnéide, Paddy Nixon
Publication date
2000/1/1
Journal
Workshop on Formal Techniques for Java Programs, ECOOP
Pages
129-135
Description
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.
Total citations
Scholar articles
MO Cinnéide, P Nixon - Workshop on Formal Techniques for Java Programs …, 2000