Refactoring by Transformation

Cornelio, ML and Cavalcanti, A.L.C. and Sampaio, A.C.A (2002) Refactoring by Transformation. In: Proceedings of REFINE'2002, 20th-21st July 2002, Copenhagen, Denmark. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1016/S1571-0661(05)82564-2

Abstract

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.

Item Type: Conference or workshop item (Paper)
Additional information: Invited Paper
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 17:59
Last Modified: 06 Jul 2009 22:27
Resource URI: http://kar.kent.ac.uk/id/eprint/13673 (The current URI for this page, for reference purposes)
  • Depositors only (login required):