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.

• Type: Journal
• Year: 2002
• Where: ENTCS
• Authors: Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio
• Keywords: Algebraic Laws, ENTCS 2002, Object-oriented Language, Object-oriented Programs