Abstract Dynamic Frames
Abstract Dynamic Frames
复制标题
抽象动态框架
DOI：
10.1007/978-3-319-06251-8_10
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Han-Hing Dang: Abstract Dynamic Frames
中科院分区：
文献类型：
--
作者：
Han-Hing Dang: Abstract Dynamic Frames
基于以前的分离逻辑关系代数方法，我们提出了动态框架理论的抽象，并以无点方式代数描述了该理论的概念、属性和行为。此外，给出了与分离逻辑的抽象概念的关系，为两种方法的统一处理铺平了道路。特别是，我们还在地方行动的框架内概述了主要想法。
Based on a former relation-algebraic approach to separation logic we present an abstraction of the theory of dynamic frames and algebraically describe concepts, properties and behaviour of that theory in a pointfree fashion. Moreover, relationships to abstract concepts of separation logic are given to pave the way for a unified treatment of both approaches. In particular, we also sketch the main ideas within the framework of local actions.
登录
查看更多内容
ECOOP 2010 - 面向对象编程，第 24 届欧洲会议，斯洛文尼亚马里博尔，2010 年 6 月 21-25 日。会议记录
影响因子：
2.9
作者：
T. D'Hondt
通讯作者：
T. D'Hondt
DOI：
--
发表时间：
2011
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
C. Hoare;A. Hussain;B. Möller;P. O'Hearn;R. Petersen;G. Struth
通讯作者：
G. Struth
反向交换下的并发与局部推理
DOI：
10.1016/j.scico.2013.07.006
发表时间：
2014
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
H.-H. Dang;B. Möller
通讯作者：
B. Möller
DOI：
10.1007/978-3-642-28869-2_19
发表时间：
2012-03
期刊：
--
影响因子：
--
作者：
J. B. Jensen;L. Birkedal
通讯作者：
J. B. Jensen;L. Birkedal
影响因子：
8.7
作者：
Matthew J. Parkinson;Alexander J. Summers
通讯作者：
Alexander J. Summers