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.
|Number of pages
|Published - 2000
|Formal Techniques for Java Programs 2000 - Sophia Antipolis, Sophia Antipolis, France
Duration: 12 Jun 2000 → 16 Jun 2000
|Formal Techniques for Java Programs 2000
|12/06/00 → 16/06/00