From Separation Logic to Hyperedge Replacement and Back
From Separation Logic to Hyperedge Replacement and Back
复制标题
从分离逻辑到超边缘替换再返回
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Mike Dodds
中科院分区：
文献类型：
--
作者：
Mike Dodds
超边替换文法和分离逻辑公式都定义了类图结构。在本文中，我们描述了两个有效的翻译之间的限制性超边替换文法和分离逻辑片段中的公式。这些翻译保留了公式和语法的语义。
Hyperedge replacement grammars and separation-logic formulas both define classes of graph-like structures. In this paper, we describe two effective translations between restricted hyperedge replacement grammars and formulas in a fragment of separation logic. These translations preserve the semantics of formulas and grammars.