LMF - CIn/UFPE
Refactoring by Transformation
In this paper we
present how refactoring of object-oriented programs can be accomplished by
using refinement. Our approach is based on algebraic laws of an
object-oriented language for refinement similar to Java. We follow a strategy
involving data and algorithmic refinement of classes.
Refactoring by Transformation. M. Cornelio, A. Cavalcanti, and A. Sampaio. In
Proceedings of REFINE'2002, Electronic Notes in Theoretical Computer Science,
Vol. 70, 2002. Invited Paper.
Click here to retrieve a compressed PostScript file containing
a copy of this paper.