摘要
S.Abiteboul、P.Buneman和D.Suciu。 Web上的数据:从关系到半结构化数据和XML。 摩根·考夫曼,1999年。]] 谷歌学者 数字图书馆 N.Biri和D.Galmich。 资源分配的分离逻辑。 在2003年第23届软件技术和理论计算机科学基础会议上。]] 谷歌学者 交叉引用 C.Calcagno、P.Gardner和U.Zarfaty。 树更新的上下文逻辑。 《资源、过程和程序逻辑研讨会论文集》(LRPP’04),2004年。]] 谷歌学者 L.Cardelli、P.Gardner和G.Ghelli。 使用指针查询树。 未发表的笔记,2003年; 在APPSEM 2001上发表演讲。]] 谷歌学者 L.Cardelli和A.D.Gordon。 移动环境。 理论计算。 科学。, 240:177--213, 2000.]] 谷歌学者 数字图书馆 S.Ishtiaq和P.O'Hearn。 BI作为可变数据结构的断言语言。 第28次持久性有机污染物清单,第14-26页,伦敦,2001年1月。]] 谷歌学者 数字图书馆 P.O'Harn、J.Reynolds和H.Yang。 关于改变数据结构的程序的局部推理。 《计算机科学逻辑》(CSL’01)编辑L.Fribourg,第1-19页。 斯普林格-Verlag,2001年。 LNCS 2142。]] 谷歌学者 数字图书馆 D.皮姆。 成串暗示逻辑的语义和证明理论。 应用逻辑系列。 Kluwer学术出版社,2002年。 网址:http://www.dcs.qmul.ac.uk/ ~pym/Papersage/bunk.ps.]] 谷歌学者 交叉引用 J.雷诺兹。 分离逻辑:用于共享可变数据结构的逻辑。 受邀论文,LICS’02,2002。]] 谷歌学者 数字图书馆 I.Tatarinov、Z.G.Ives、A.Y.Halevy和D.S.Weld。 正在更新XML。 SIGMOD 2001,加利福尼亚州圣巴巴拉 谷歌学者 数字图书馆 H.Yang和C.Calcagno。 Context Logic和BI的完整性结果。准备中,2004年。]] 谷歌学者 H.Yang和P.O'Hearn。 局部推理的语义基础。 FOSSACS会议记录,2002年。]] 谷歌学者 数字图书馆
索引术语
上下文逻辑和树更新
建议
作为模态逻辑的上下文逻辑:完备性和参数不表达性 POPL’07:第34届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集 分离逻辑、环境逻辑和上下文逻辑基于类似风格的结构化数据推理。 它们每个都包含一个用于推理不相交子数据的结构(分离)组合,以及相应的结构伴随。。。 作为模态逻辑的上下文逻辑:完备性和参数不表达性 2007年POPL会议记录 分离逻辑、环境逻辑和上下文逻辑基于类似风格的结构化数据推理。 它们每个都包含一个用于推理不相交子数据的结构(分离)组合,以及相应的结构伴随。。。