Abstract | ||
---|---|---|
Refactoring tools include checking of an object-oriented program for the fulfillment of preconditions, for ensuring correctness. However, program invariants - semantic informa- tion about classes and fields assumed valid during program execution - are not considered by this precondition checking. As a result, applicability of automated refactorings is constrained in these cases, as refactorings that would be applicable considering the invariants get rejected, usually requiring manual changes. In this paper, we describe initial work on the use of program invariants (declared as code annotations) to increase applicability of automated refactoring. We propose an approach that uses primitive program transformations that employ the invariant to make the program syntactically amenable to the desired refactoring, before applying the refac- toring itself. |
Year | Venue | Keywords |
---|---|---|
2006 | ECEASST | object oriented programming |
Field | DocType | Volume |
Programming language,Computer science,Correctness,Semantic information,Precondition,Invariant (mathematics),Program analysis,Code refactoring | Journal | 3 |
Citations | PageRank | References |
5 | 0.47 | 9 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tiago Massoni | 1 | 245 | 17.18 |
Rohit Gheyi | 2 | 618 | 40.66 |
Paulo Borba | 3 | 1088 | 68.71 |