Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions
复制标题
动态框架：支持无限制的框架、依赖和共享
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Ioannis T. Kassios
中科院分区：
文献类型：
--
作者：
Ioannis T. Kassios
本文解决了通过规范变量支持共享和封装的编程理论的框架问题。引入了动态帧的概念。它显示了具有动态帧的编程理论如何支持这两个功能，而无需使用别名控制或任何其他限制。相比之下，其他方法对程序引入了许多限制，以确保合理性。
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introduced. It is shown how a programming theory with dynamic frames supports both features, without the use of alias control or any other kind of restriction. In contrast, other approaches introduce a number of restrictions to the programs to ensure soundness.
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