Using CafeOBJ to Mechanise Refactoring Proofs and Application

Electr. Notes Theor. Comput. Sci., (2007): 39-61

Cited by: 8|Views9
EI

Abstract:

In this paper we show how rewriting systems, in particular CafeOBJ, can be used to automatically prove refactoring rules. In addition, a small case study that illustrates the application of a refactoring rule in an arbitrary program is also developed. Our approach is based on a sequential object-oriented language of refinement (rool) simi...More

Code:

Data:

ZH
Your rating :
0

 

Tags
Comments