Note
The Refactoring Browser. Defines refactorings as provably correct parameterized transformations with preconditions guaranteeing behavior preservation.
Details
- Journal
- Theory and Practice of Object Systems
Citation Key
roberts1997refactoring The Refactoring Browser. Defines refactorings as provably correct parameterized transformations with preconditions guaranteeing behavior preservation.
roberts1997refactoring