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.
|Title of host publication||Unknown Host Publication|
|Number of pages||7|
|Publication status||Published - 2000|
|Event||Formal Techniques for Java programs 2000 Proceedings - Sophia Antipolis, France|
Duration: 1 Jan 2000 → …
|Conference||Formal Techniques for Java programs 2000 Proceedings|
|Period||1/01/00 → …|