Refinement and Separation Contexts
Refinement and Separation Contexts
复制标题
细化和分离上下文
DOI：
10.1007/978-3-540-30538-5_35
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
P. O'Hearn
中科院分区：
文献类型：
--
作者：
Ivana Mijajlovic;Noah Torp;P. O'Hearn
分离上下文是一个客户程序，我们使用某些“精确”关系的模块的内部内容来描述一个模块的存储，并证明分离上下文也保留了这种关系。定理具有分离上下文，而任意客户程序并非如此。
A separation context is a client program which does not dereference internals of a module with which it interacts. We use certain “precise” relations to unambiguously describe the storage of a module and prove that separation contexts preserve such relations. We also show that a simulation theorem holds for separation contexts, while this is not the case for arbitrary client programs.
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