{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T06:07:38Z”，“时间戳”：1725602858532}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783838 642229435“}，{”类型“：“electronic”，“value”：“9783642229442”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2011]]}，”DOI“：”10.1007\/978-3642-22944-2_3“，”type“：”book-capter“，”created“：”{“date-part”：[2011,8,25]]，“date-time”：“2011-08-25T05:45:5 9Z“，”时间戳“：1314251159000}，”页面“：”36-39“，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“Abstract Local Reasoning for Program Modules”]，“prefix”：“10.1007”，”author“：[{”given“：”Thomas“，”family“：”Dinsdale-Young“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Philippa“，”“family”：“Gardner”，“sequence”：“additional”，“afliation”：[]{，“givent”：“Mark”：“additional”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛“key”：“3_CR1”，“doi asserted by”：“crossref”，“unstructured”：“Calcagno，C.，Gardner，P.，Zarfati，U.:上下文逻辑和树更新。在：POPL 2005，pp.271\u2013282（2005）”，“doi”：“10.1145\/10040305.1040328”｝，｛“key”：“3_CR2”，“首页”：“133”，“卷”：“172”，“作者”：“C.Calcagno“，”年份“：“2007”，“非结构化”：“Calcagno，C.，Gardner，P.，Zarfati，U.：关于数据更新的本地推理。ENTCS\u00a0172133\u2013175（2007）”，“期刊标题”：“ENTCS”}，｛“卷标题”：“数据精化：面向模型的证明方法及其比较”，“年份”：“1999”，“作者”：“W.-P.de Roever”，“密钥”：“3_CR3”，“非结构化”：“de Roever，W.-P.，Engelhardt，K.：数据精化：面向模型的证明方法及其比较。剑桥大学出版社，剑桥（1999）”}，{“key”：“3_CR4”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：《199》，“doi”：“10.1007\/978-3642-15057-9_14”，《volume-title》：“验证的软件：理论、工具、实验”，“作者”：“T.Dinsdale-Young”，“年份”：“2010年”，“非结构化”：“Dinsdale-Young，T.，Gardner，P.，Wheelhouse，M.：局部推理的抽象和精化。收录：Leavens，G.T.，O\u2019Hearn，P.、Rajamani，S.K.（编辑）VSTTE 2010。LNCS，卷\u00a06217，第199\u2013215页。Springer，Heidelberg（2010）“}，{“key”：“3_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Filipovi\u0107，I.，O\u2019Hearn，P.，Torp-Smith，N.，Yang非结构化“：”Gardner，P.A.，Smith，G.D.，Wheelhouse，M.J.，Zarfaty，U.D.：关于DOM的本地霍尔推理。在：PODS，pp.261\u2013270（2008）“，”DOI“：”10.1145\/1376916.1376953“}，”issue“：”10“，”key“：”3_CR7“，”DOI-asserted-by“：”publisher“，”first page“：ACM\u00a012（10），576\u2013580（1969）“，”journal-title“：”Commun。ACM“}，{”issue“：“4”，”key“：“3_CR8”，”doi-asserted-by“：”publisher“，”first page“：”271“，”doi“：”10.1007\/BF00289507“，”volume“：1”，“author”：“C.A.R.Hoare”，“year”：“1972”，“unstructured”：“Hoare，C.A.R.:数据表示正确性的证明。Acta Inf.\u00a01（4），271\u2013281（1972）”，“journal-title”：“Acta Inf”}，{“key”：“3_CR9”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“421”，“doi”：“10.1007\/978-3-540-30538-5_35”，“volume-title”：“FSTTCS 2004:软件技术和理论计算机科学基础”，“author”：“I.Mijajlovi\u0107”，“year”：“2004”，“unstructured”：“Mijajlovi\u0117，I.，Torp-Smith，N.，O\u2019Hearn，P.W.：精炼和分离上下文。收录：Lodaya，K.，Mahajan，M.（编辑）FSTTCS 2004。LNCS，卷\u00a03328，第421\u2013433页。Springer，Heidelberg（2004）“}，{”key“：”3_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”Mitchell，J.C.，Plotkin，G.D.：“抽象类型具有存在类型。In:POPL，pp.37\u201351（1985）“，”doi“：”10.1145\/318593.18606“}”，{“key”：“3_CR11”，“series-title”：“计算机科学课堂讲稿”，“doi-assert-by”：“publisher”，“首页”：“1”，”内政部“：”10.1007 \/3-540-44802-0_1“，”volume-title“：”Computer Science Logic“，”author“：”P.W.O\u2019Hearn“，”year“：”2001“，”unstructured“：”O\u209Hearn，P.W.，Reynolds，J.，Yang，H.：关于改变数据结构的程序的局部推理。收录于：Fribourg，L.（编辑）CSL 2001和EACSL 2001。LNCS，卷\u00a02142，第1页。Springer，Heidelberg（2001）“}，{“key”：“3_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Parkinson，M.J.，Bierman，G.M.：分离逻辑和抽象。收录于：POPL，pp.247\u2013258（2005）”，“doi”：“10.1145\/1040305.1040326”}，“key“：”3_CR13“非结构化”：“Reynolds，J.C.：类型、抽象和参数多态性。In:IFIP Congress，pp.513\u2013523（1983）“}]，“container-title”：[“Teach Notes In Computer Science”，“Algebra and Coalgebra In Compute Sciences”]，“original-title“：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/978-3642-22944-23.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“相似性检查“}]，“存放”：{“日期部分”：[[2020,11,24]]，“日期时间”：“2020-11-24T03:09:54Z”，“时间戳”：1606187394000}，“分数”：1，“资源”：{-“主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3642-22944-23”}，ISBN“：[”9783642229435“，”978364 2229442“]，”references-count“：13，”URL“：”http://\/dx.doi.org\/10.1007\/978-3642-22944-2_3“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”值“：”1611-349“}]，”主题“：[]，”发布“：{”日期部分“：[2011]]}}