｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,4,28]，“日期时间”：“2024-04-28T02:50:16Z”，“时间戳”：1714272616226｝，“发布者位置”：“柏林，海德堡”，“引用计数”：19，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“值”：“9783540784975”，“类型”：“打印”｝，｛“值”：“9783540784999”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”DOI“：”10.1007\/978-3-540-78499-9_15“，”type“：”book-capter“，”created“：{”date-parts“：[[2008,4,1]]，”date-time“：”2008-04-01T23:02:25Z“，”timestamp“：1207090945000}，”page“201-215“，”source“：”Crossref“，”is-referenced-by-count“：1，“title”：[“Footprints in Local Reasoning”]，“prefix”：“10.1007”，“author”：[{“given”：“Mohammad”，“family”：“Raza”，”sequence“：“first”，“affiliation”：[]}，{“given”:“Philippa”，“家族”：“Gardner”，“sequence”：“additional”，“从属关系”：[]}]，“member”：“297”，“reference”：[[{”key“：”15_CR1“，”series-title“：“计算机科学讲义”，“doi-as serted-by“：”publisher“，“DOI”：“10.1007\/978-3-540-73368-3_22”，“volume-title”：“计算机辅助验证”，“author”：“J.Berdine”，“year”：“2007”，“unstructured”：“Berdine，J.，Calcagno，C.，Cook，B.，Distefano，D.，O\u2019Hearn，P.，Wies，T.，Yang，H.：复合数据结构的形状分析。In:Damm，W.，Hermanns，H.（eds.）CAV 2007。LNCS，vol.\u00a04590，Springer，Heidelberg（2007）“｝，｛”键“：”15_CR2“，”系列标题“：”计算机科学讲义“，”doi断言“：”出版商“，”doi“：”10.1007\/11804192_6“，”卷标题“：”组件和对象的形式化方法“，”作者“：”J.Berdine“，”年份“：”2006“，”非结构化“：”Berdine，J.，Calcagno，C.，O\u2019Hearn，P.W.：Smallfoot：使用分离逻辑进行自动模块化断言检查。收录人：de Boer，F.S.，Bonsangue，M.M.，Graf，S.，de Roever，W.-P.（编辑）FMCO 2005。LNCS，vol.\u00a04111，Springer，Heidelberg（2006）“}，{“key”：“15_CR3”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-71389-0_8”，“volume-title”：《软件科学与计算结构基础》，“author”：“L.Birkedal”，“year”：“2007”，“unstructured”：“Birkedal，L.，Yang，H.：关系参数和分离逻辑。收录：Seidl，H.（编辑）FOSSACS 2007。LNCS，vol.\u00a04423，Springer，Heidelberg（2007）“}，{“key”：“15_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Bornat，R.，Calcagno，C.，O\u2019Hearn，P.，Parkinson，M.：分离逻辑中的权限核算。in:32nd POPL（2005）”，“doi”：“10.1145 \/1040305.1040327”}，}“密钥”：“15 _CR5”，“非结构化”：“Bornat，R.、Calcagno，C.、Yang，H.：分离逻辑中的变量资源。In：21st MFPS（2005）“}，{“key”：“15_CR6”，“series-title”：“计算机科学讲义”，“volume-title”：《CONCUR 2004-并发理论》，“author”：“S.D.Brookes”，“year”：“2004”，“unstructured”：“Brookes，S.D.：并发分离逻辑的语义。In：Gardner，P.，Yoshida，N.（eds.）CONCUR 2004。LNCS，vol.\u00a03170，Springer，Heidelberg（2004）“}，{“key”：“15_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Calcagno，C.，Gardner，P.，Zarfaty，U.：上下文逻辑和树更新。In:32nd POPL（2005）”，“doi”：“10.1145 \/1040305.1040328”}，}，“key“：”“15_CR 8”，“doi-asserted-by”，“crossrev”：Calcagno，C.，Gardner，P.，Zarfaty，U.：关于数据更新的本地推理。其中：Gordon Plotkin\u2019s festschrift，ENTCS（2007）“，”DOI“：”10.1016\/j.ENTCS.2007.02.006“}，{“key”：“15_CR9”，“DOI-asserted-by”：“crossref”，“unstructured”：“Calcagno，C.，O\u2019 Hearn，P.，Yang，H.：局部动作和抽象分离逻辑（长版本）。In:LICS（2007“DOI-asserted-by”：“crossref”，“非结构化“：”Isthiaq，S.，O\u2019Hearn，P.W.：BI作为可变数据结构的断言语言。In：28th POPL（2001）“，”DOI“：”10.1145\/360204.375719“}，{“key”：“15_CR11”，“DOI-asserted-by”：“crossref”，“unstructured”：“Morgan，C.C.：规范语句。In：ACM Transactions on Programming Languages and Systems（1988）”，“DOI”：“10.1007\/978-1-4471-3273-8_1”}，“key“：”15_CR12O\u2019Hearn，P.：资源、并发和本地推理。理论计算机科学，初版发表于CONCUR 2004（2007）”，“DOI”：“10.1007\/978-3-540-28644-8_4”}，{“key”：“15_CR13”，“series-title”：“计算机科学讲义”，“volume-title”：《计算机科学逻辑》，“author”：“P.O\u2019Hearn”，“year”：“2001”，“unstructured”：“O\u2019Hearn，P.、Reynolds，J.、Yang，H.：关于改变数据结构的程序的局部推理。收录于：Fribourg，L.（编辑）CSL 2001。LNCS，vol.\u00a02142，Springer，Heidelberg（2001）“}，{“key”：“15_CR14”，“doi-asserted-by”：“crossref”，“unstructured”：“O\u2019Hearn，P.W.，Pym，D.J.：聚束含义的逻辑。In:Bulletin of Symbolic logic（1999）”，“doi”：“10.2307\/421090”}，}，“key“：”15_CR15“doi-sserted-byParkinson，M.，Bornat，R.，Calcagno，C.：Hoare逻辑中的变量资源。In：21st LICS（2006）“，”DOI“：”10.1109\/LICS.2006.52“}，{“key”：“15_CR16”，“DOI-asserted-by”：“crossref”，“unstructured”：“Pym，D.，O\u2019Hearn，P.，Yang，H.：可能的世界和资源：BI的语义。In：理论计算机科学（2004）”，“DOI”：“10.1016\/j.tcs.2003.11.020”}，“key“：”15_CR17“series-title”：“应用逻辑系列”，“doi-asserted-by“：”crossref“，”doi“：”10.1007\/978-94-017-0091-7“，“volume-title”：“串蕴涵逻辑的语义和证明理论”，“author”：“D.J.Pym”，“year”：“2002”，“unstructured”：“Pym，D.J.：串蕴涵逻辑学的语义和证据理论”。应用逻辑系列。Kluwer Academic Publishers，Dordrecht（2002）“}，{“key”：“15_CR18”，“unstructured”：“Reynolds，J.C.：分离逻辑：共享可变数据结构的逻辑。In：第17届LICS（2002）”}，}“密钥”：“15 _CR19”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“doi”：“10.1007 \/3-540-45931-6_28”，《volume-title》：“软件科学和计算结构基础”，“作者”：“H.Yang”，“年份”：“2002年”，“非结构化”：“Yang，H.，O\u2019Hearn，P.：局部推理的语义基础。摘自：Nielsen，M.，Engberg，U.（编辑）FOSSACS 2002。LNCS，vol.\u00a02303，Springer，Heidelberg（2002）“}]，“container-title”：[“软件科学和计算结构基础”，“计算机科学讲义”]，“原始标题”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10007\/978-3-540-78499-9_15.pdf”，“content-type”：“未指定”，“内容版本”：“vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2021,4,27]]，”date-time“：”2021-04-27T11:11:29Z“，”timestamp“：1619521889000}，”score“：1，”resource“：”primary“：”{“URL”：“http://\link.springer.com\/10007\/978-3-540-78499-9_15”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date”部分“：[[null]]}，”ISBN“：[”9783540784975“，”9783540784999“]，”references-count“：19，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-78499-9_15“，”relation“：{}，”subject“：[]}}”