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 |
|---|---|
| Title of host publication | Unknown Host Publication |
| Publisher | FernUniversität |
| Pages | 129-135 |
| Number of pages | 7 |
| Publication status | Published (in print/issue) - 2000 |
| Event | Formal Techniques for Java programs 2000 Proceedings - Sophia Antipolis, France Duration: 1 Jan 2000 → … |
Conference
| Conference | Formal Techniques for Java programs 2000 Proceedings |
|---|---|
| Period | 1/01/00 → … |
Keywords
- n/a