A Formal Foundation for Software Refactoring

Printer-friendly version
January 2002 to December 2004
FWO Research Project

The aim of this FWO-funded project was to provide a solid foundation for software refactoring through the development of a suitable formal model. Graph rewriting was explored as the basis of a lightweight model, facilitating the investigation of basic properties of refactoring, as well as the design of tools supporting the refactoring process.