{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,9,4]]，“日期-时间”：“2023-09-04T23:15:30Z”，“时间戳”：1693869330370}，“引用-计数”：21，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{:“日期-零件”：[2007,4,1]]，“时间”：”2007-04-01T00:00:00 0Z“，”时间戳“：1175385600000}，”内容版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：1375056000000}，“content-version”：“vor”，“delay-in-days”：2311，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“日期部分”：[[2007,4]]}，”DOI“：”10.1016\/j.entcs.2007.02.006“，”type“：”journal-article“，”created“：{”date-parts“：[2007,4,11]]，”date-time“：”2007-04-11T20:40:43Z“，”timestamp“：”1176324043000}“，”page“：“133-175”，“source”：“交叉参考“，“is-referenced-by-count”：7，“title”：[“Local Reasoning about Data Update”]，“prefix”：“10.1016”，“volume”：“172”，“author”：[{“给定”：“Cristiano”，“family”：“Calcagno”，”sequence“：”first“，”affiliation“：[]}，{“given”：”Philippa“，”family“：”Gardner sequence“：”additional“，”affiliation“：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/j.entcs.2007.006_bib001”，“doi-asserted-by”：“crossref”，“unstructured”：“Berdine，j.，B.Cook，D.Distefano，and P.O'Hearn，带shape-shifting heap.的程序的自动终止证明，in：CAV，2006”，“doi”：“101007\/11817963_35”}，{“key”：”10.1016\/j.entcs.2007.006_bib002“，”非结构化“：“Berdine，J.，C.Calcagno和P.O'Hearn，Smallfoot：带分离逻辑的模块化自动断言检查。，in：FMCO，2005”}，{“key”：“10.1016\/J.entcs.2007.006_bib003”，“doi-asserted-by”：“crossref”，”unstructured“：”Berdine，“DOI”：“10.1145\/1190216.1190249”}，{“key”：“101016\/j.entcs.2007.02.006_bib004”，“DOI-asserted-by”：“crossref”，”非结构化“：“Calcagno，C.，P.Gardner and U.Zarfaty，Context logic and tree update，in：POPL，2005”，“DOI:”10.1145\/1040305.1040328“}，”{“key”：“crossref”，“非结构化”：“Calcagno，C.，P.Gardner和U.Zarfaty，作为模态逻辑的上下文逻辑：完整性和参数表达性，in：POPL，2007”，“DOI”：“10.1145\/1190216.1190236”}，{“key”：“101016\/j.entcs.2007.006_bib006”，“DOI-asserted-by”：“crossref”，”非结构化“Cardelli，L.和A。Gordon，Anytime，anywhere:移动环境的模态逻辑，in：POPL，2000“，”DOI“：”10.1145 \/325694.325742“}，{“key”：“10.1016 \/j.entcs.2007.006_bib007”，“DOI-asserted-by”：“crossref”，”unstructured“：”Cardelli，L.和A.Gordon“名称限制的逻辑属性，in：TLCA，LNCS 2044，2001“，”，“DOI”：“101007 \/3-540-45413-6_8”}，“key“：”10.1016\/j.entcs.2007.006_bib008“，”doi-asserted-by“：”crossref“，“unstructured”：“Conforti，G.，D.Macedonio和V.Sassone，双图的空间逻辑，in：ICALP，LNCS 3520，2005”，“doi”：“10.1007\/11523468_62”}，{“key”：“101016\/j.entc.2007.02.006_bip009”，“非结构化”：“Gardner，P.和U。Zarfaty，关于树更新的局部推理，in：MFPS，2006“}，{“key”：“10.1016\/j.entcs.2007.06.06_bib010”，“doi-asserted-by”：“crossref”，”first page“：”576“，”doi“：”10.1145\/363235.363259“，”article-title“：”An axiomatic base for computer programming“，”volume“：“12”，”author“：”Hoare“，”year“：”1969“，“journal-title”：“ACM的通信”}，“key“：”10.1016\/j.entcs.2007.06.06_bib011“，”doi-asserted-by“：”crossref“，“unstructured”：“Ishtiaq，S.和P.O'Hearn，BI作为可变数据结构的断言语言，in：POPL，2001”，“doi”：“10.1145\/360204.375719”}，{“key”：“101016\/j.entc.2007.006_bib012”，“非结构化”：“Jensen，O.和P.Milner，Bigraphs and mobile process（修订版），技术报告，剑桥大学（2004）“}，{”key“：”10.1016\/j.entcs.2007.02.006_bib013“，”doi-asserted-by“：”crossref“，”unstructured“：”Lozes，E.，《静态空间逻辑中空间连接词的消除》（2005），TCS 330（3）“，”doi“：”101016\/j.TCS.2004.10.006“}”，{，“首页“：”215“，”DOI“：”10.2307\/421090“，”article-title“：”捆绑暗示的逻辑“，”volume“：”5“，“author”：“O'Hearn”，“year”：“1999”，“journal-title”：“Bulletin of Symbolic Logic”}，{“key”：“10.1016\/j.entcs.2007.006_bib015”，“首页”：“1”，“article-title”:“关于改变数据结构的程序的本地推理”，“volume”：”2142“，”author“：”O’Hearn”，“年份”：“2001”}，{“key”：“10.1016\/j.entcs.2007.02.006_bib016”，“doi-asserted-by”：“crossref”，“首页”：“257”，“doi”：“101016\/j.tcs.2003.11.020”，“article-title”：“可能的世界和资源：BI的语义”，“卷”：“315”，“作者”：“Pym”，“年”：“2004”，“日志标题”：“理论计算机科学”}、{“key”：“”10.1016\/j.entcs.2007.02.006Bib017”，“文章标题”：“捆绑含义逻辑的语义和证明理论”，“卷”：“26”，“作者”：“Pym”，“年份”：“2002”｝，｛“key”：“10.1016\/j.entcs.2007.02.006Bib018”，“非结构化”：“Reynolds，j.，分离逻辑：共享可变数据结构的逻辑（2002），受邀论文，LICS'02”｝，｛“key”：“10.1016\/j.entcs.2007.02.006_bib019“，“unstructured”：“Simpson，A.，\u201cThe Proof Theory and Semantics of Intuitialistic Modal Logic，\u201博士论文，博士论文，爱丁堡大学（1993）”}，{“key”：“10.1016\/j.entcs.2007.016.06_bib020”，“doi-asserted-by”：“crossref”，《unstructure》：“Yang，H.and P.”。O'Hearn，《局部推理的语义基础》，收录于：FOSSACS，2002年，“DOI”：“10.1007\/3-540-45931-6_28”}，{“key”：“101016\/j.entcs.2007.0606_bib021”，“unstructured”：“Zarfaty，U.，Context logic and tree update，PhD thesis。in preparation”}]，“container-title”：[“Electronic Notes in Theory Computer Science”]，“original title”：[]，“language”：“en”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S1571066107000783？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL:“https:\//api.elsevier.com/content\/aarticle\/PII:S1157106610700083？httpAccess=text\/plain“，”内容类型“：”文本\/plaine“，”content-version“：”vor“，”intended-application“：”text-mining“}]，”deposted“：{”date-parts“：[[2019,4,27]]，”date-time“：”2019-04-27T07:38:43Z“，”timestamp“：1556350723000}，”score“：1，”resource“：”primary“：rts“：[[2007,4]]}，”引用计数“：21，”alternative-id“：[”S1571066107000783“]，“URL”：“http://\/dx.doi.org\/10.1016\/j.entcs.2007.02.006”，“关系”：{}，“ISSN”：[“1571-0661”]，“ISSN-type”：[{“值”：“1571-00661”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[2007,4]]}}}}