Sciweavers

ENTCS
2002
106views more  ENTCS 2002»
13 years 3 months ago
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 languag...
Márcio Cornélio, Ana Cavalcanti, Aug...
SEFM
2008
IEEE
13 years 10 months ago
Laws of Object-Orientation with Reference Semantics
Abstract. Algebraic laws have been proposed to support program transformation in several paradigms. In general, and for object-orientation in particular, these laws tend to ignore ...
Leila Silva, Augusto Sampaio, Zhiming Liu