State Based Ownership, Reentrance, and Encapsulation
State Based Ownership, Reentrance, and Encapsulation
复制标题
基于状态的所有权、重入和封装
DOI：
10.1007/11531142_17
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
D. Naumann
中科院分区：
文献类型：
--
作者：
A. Banerjee;D. Naumann
可以修改正确封装的数据表示形式以进行重构或其他目的，而不会影响客户程序的正确性和类的扩展。但是，由于基于堆的结构和重入回调，在面向对象的程序中很难实现封装。本文表明，它是通过使用断言和辅助领域来管理不变性和可转让所有权的学科实现的。主要结果是表示独立性：模块化阶级实施的模块化证明规则。
A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a class. But encapsulation is difficult to achieve in object-oriented programs owing to heap based structures and reentrant callbacks. This paper shows that it is achieved by a discipline using assertions and auxiliary fields to manage invariants and transferrable ownership. The main result is representation independence: a rule for modular proof of equivalence of class implementations.
DOI：
10.1145/964001.964024
发表时间：
2004-01
期刊：
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
影响因子：
--
作者：
P. O'Hearn;Hongseok Yang;J. C. Reynolds
通讯作者：
P. O'Hearn;Hongseok Yang;J. C. Reynolds