AbstractIn 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
Program changes take up a substantial part of the entire programming effort. Often a preliminary ste...
Program changes take up a substantial part of the entire programming effort. Often a preliminary ste...
Program changes take up a substantial part of the entire programming effort. Often a preliminary ste...
AbstractIn this paper we present how refactoring of object-oriented programs can be accomplished by ...
207 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1992.This thesis defines a set of ...
207 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1992.This thesis defines a set of ...
An object-oriented program consists of a section of class declarations and a main method. The class ...
AbstractIn this paper we show how rewriting systems, in particular CafeOBJ, can be used to automatic...
Abstract. Refinement is a well-known approach for developing correct-by-construction softwares. It h...
AbstractIn this paper we present how refactoring of object-oriented programs can be accomplished by ...
In this case study for the transformation tool contest (TTC), we propose to implement object-oriente...
Refactoring is the process of transforming the internal structure of existing code while keeping the...
In this paper we propose an strategy for the design of compilers correct by construction for object-...
Program changes take up a substantial part of the entire programming effort. Often a preliminary ste...
Abstract. Increasingly more developers are applying refactorings- program transformations that can i...
Program changes take up a substantial part of the entire programming effort. Often a preliminary ste...
Program changes take up a substantial part of the entire programming effort. Often a preliminary ste...
Program changes take up a substantial part of the entire programming effort. Often a preliminary ste...
AbstractIn this paper we present how refactoring of object-oriented programs can be accomplished by ...
207 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1992.This thesis defines a set of ...
207 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1992.This thesis defines a set of ...
An object-oriented program consists of a section of class declarations and a main method. The class ...
AbstractIn this paper we show how rewriting systems, in particular CafeOBJ, can be used to automatic...
Abstract. Refinement is a well-known approach for developing correct-by-construction softwares. It h...
AbstractIn this paper we present how refactoring of object-oriented programs can be accomplished by ...
In this case study for the transformation tool contest (TTC), we propose to implement object-oriente...
Refactoring is the process of transforming the internal structure of existing code while keeping the...
In this paper we propose an strategy for the design of compilers correct by construction for object-...
Program changes take up a substantial part of the entire programming effort. Often a preliminary ste...
Abstract. Increasingly more developers are applying refactorings- program transformations that can i...
Program changes take up a substantial part of the entire programming effort. Often a preliminary ste...
Program changes take up a substantial part of the entire programming effort. Often a preliminary ste...
Program changes take up a substantial part of the entire programming effort. Often a preliminary ste...
DOI
Add to ORKG