Refactoring and representation independence for class hierarchies
Theor. Comput. Sci., pp. 60-97, 2012.
Refactoring transformations are important for productivity and quality in software evolution. Modular reasoning about semantics preserving transformations is difficult even in typed class-based languages because transformations can change the internal representations for multiple interdependent classes and because encapsulation can be vio...更多
下载 PDF 全文 (上传PDF)