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 language | English |
|---|---|
| Pages | 1-7 |
| Number of pages | 7 |
| Publication status | Published - 2000 |
| Externally published | Yes |
| Event | Formal Techniques for Java Programs 2000 - Sophia Antipolis, Sophia Antipolis, France Duration: 12 Jun 2000 → 16 Jun 2000 |
Conference
| Conference | Formal Techniques for Java Programs 2000 |
|---|---|
| Country/Territory | France |
| City | Sophia Antipolis |
| Period | 12/06/00 → 16/06/00 |