Tree-Like Grammars and Separation Logic
Tree-Like Grammars and Separation Logic
复制标题
树状语法和分离逻辑
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
T. Noll
中科院分区：
文献类型：
--
作者：
Christoph Matheja;Christina Jansen;T. Noll
具有归纳谓词定义的分离逻辑（ exttt {SL}）和超边替换文法（HRG）是用来描述堆操作程序所维护的数据结构的抽象形状的形式化方法。这两种形式主义的片段是一致的，也不是蕴涵问题（ exttt {SL}）和HRG的对应问题（包含问题）一般都是可判定的。
Separation Logic with inductive predicate definitions (( exttt {SL})) and hyperedge replacement grammars (HRG) are established formalisms to describe the abstract shape of data structures maintained by heap-manipulating programs. Fragments of both formalisms are known to coincide, and neither the entailment problem for ( exttt {SL}) nor its counterpart for HRGs, the inclusion problem, are decidable in general.
DOI：
10.1016/j.scico.2010.07.004
发表时间：
2012-08
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
W. Chin;C. David;Huu Hai Nguyen;S. Qin
通讯作者：
W. Chin;C. David;Huu Hai Nguyen;S. Qin
树可分解图 MSO 模型检查的实用算法
DOI：
10.1016/j.cosrev.2014.08.001
发表时间：
2014
期刊：
Comput. Sci. Rev.
影响因子：
--
作者：
Alexander Langer;Felix Reidl;Peter Rossmanith;Somnath Sikdar
通讯作者：
Somnath Sikdar
命题分离逻辑及其邻居的不可判定性
影响因子：
2.5
作者：
Brotherston J
通讯作者：
Brotherston J