Background for the header
To the home page of the University of Antwerp



LORE / Publications


TitleFormalizing Refactorings with Graph Transformations
Author(s)Tom Mens, Niels Van Eetvelde, Serge Demeyer and Dirk Janssens
Download N/A
AbstractThe widespread interest in refactoring?-?transforming the source-code of an object-oriented program without changing its external behaviour?-?has increased the need for a precise definition of refactoring transformations and their properties. In this paper we explore the use of graph rewriting for specifying refactorings and their effect on programs. We introduce a graph representation for programs and show how two representative refactorings can be expressed by graph productions. Then we demonstrate that it is possible to prove that refactorings preserve certain program properties
	author = {Tom Mens, Niels Van Eetvelde, Serge Demeyer and Dirk Janssens},
	title = {Formalizing Refactorings with Graph Transformations},
	journal = {International Journal on Software Maintenance: Research and  Practice},
	month = {July},
	number = {4},
	pages = {247-276},
	volume = {15},
	year = {2005},
	note = {[SCI impact factor 0.500, ranked 52 / 75]}
Valid HTML 4.01! Valid CSS!

 Lab On REengineering - Antwerpen, last modified 12:35:26 17 August 2010