{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T19:05:00Z”，“时间戳”：1725563100673}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783838 642144578“}，{”类型“：“electronic”，“value”：“9783642144585”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2010]]}，”DOI“：”10.1007\/978-3642-14458-5_11“，”type“：”book-capter“，”created“：”{“date-part”：[2010,8,23]]，“date-time”：“2010-08-23T08:3 3:35Z“，”时间戳“：1282552415000}，”页面“：”178-195“，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“Small Specifications for Tree Update”]，“prefix”：“10.1007”，”author“：[{”given“：”Philippa“，”family“：”Gardner“，”sequence“：”first“，”affiliation“：[]}，{“given”：”Mark“，“family”：“Wheelhouse”，“sequence”：“additional”，“afliation”：[]}]，“member”：“297”，“reference”：[{”key“：“11_CR1”，“连拍”：“计算机科学讲义”，“doi断言者”：“出版商”，“第一页”：“115”，“doi”：“10.1007\/11804192_6”，“卷标题”：“组件和对象的形式化方法”，“作者”：“J.Berdine”，“年份”：“2006”，“非结构化”：“Berdine，J.，Calcagno，C.，O\u2019Hearn，P.W.：Smallfoot:具有分离逻辑的模块化自动断言检查。In：de Boer，F.S.，Bonsangue，M.M.，Graf，S.，de Roever，W.-P（编辑）FMCO 2005。LNCS，第u00a04111卷，第115\u2013137页。Springer，Heidelberg（2006）“}，{”key“：”11_CR2“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“255”，“doi”：“10.1007\/978-3-540-76637-7_17”，“volume-title”：“Programming Languages and Systems”，“author”：“C.Calcadno”，“year”：“2007”，“unstructured”：“Calcagno，C.，Dinsdale-Young，T.，Gardner，P.：树的上下文逻辑中的辅助消除。收录：邵，Z.（编辑）APLAS 2007。LNCS，卷\u00a04807，第255\u2013270页。Springer，Heidelberg（2007）“}，{“volume-title”：“POPL”，“year”：“2005”，“author”：“C.Calcadno”，“key”：“11_CR3”，“unstructured”：“Calcadno，C.，Gardner，P.，Zarfaty，U.：上下文逻辑和树更新。In:POPL，vol.\u00a040，ACM，New York（2005）”}，}，“keys”：“11-CR4”，“非结构化”：“Cardelli，L.，Gordon，A.D.：环境逻辑。计算机科学中的数学结构（出版，2006年）“}，{”key“：”11_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”Gabbay，M.J.，Pitts，A.M.：带变量绑定的抽象语法的新方法。计算的形式方面\u00a013（2002）“，”doi“：”10.1007\/s001650200016“}”，{“volume-title”：“PODS”，“year”：“2008”，“author”：“P.Gardner”，“key”：“”11_CR6“，“非结构化”：“Gardner，P.，Smith，G.，Wheelhouse，M.，Zarfaty，U.：本地霍尔关于DOM的推理。在：PODS，vol.\u00a027，ACM，New York（2008）“}，{“key”：“11_CR7”，“unstructured”：“Gardner，P.，Wheelhouse，M.：树更新的小型规范（扩展版）（2009），http://www.doc.ic.ac.uk \/~mjw03 \/PersonalWebpage \/pdfs \/moveFull.pdf”}，}，“key“：”11_CR8“非结构化”：“Gardner，P.，Zarfaty，U.：关于高级树更新及其低级实现的推理。技术报告DTR09-9，帝国理工学院（2009）“}，{“volume-title”：“TOIT 2003”，“year”：“2003”，”author“：”H.Hosoya“，”key“：”11_CR9“，”unstructured“：”Hosoya，H.，Pierce，B.C.：Xduce:一种静态类型的XML处理语言。In:TOIT 2003，vol.\u00a03，ACM，New York（2003）“}.，{”volume-tiple“：”POPL 2001“，”year“：”2001“，“author”：”S.Ishtiaq“，”键“：”11_CR10“，”非结构化“：”Ishtiaq，S.，O\u2019Hearn，P.W.：BI作为可变数据结构的断言语言。收录于：POPL 2001，vol.\u00a036，ACM，New York（2001）“}，{“key”：“11_CR11”，“series-title”：“计算机科学课堂讲稿”，“volume-title”：《编程语言与系统-ESOP\u201994》，“author”：“R.Milner”，“year”：“1994”，“unstructured”：“Milner，R.：Pi-nets：\u03c0-calculation的图形形式。收录：Sannella，D.（ed.）ESOP 1994。LNCS，vol.\u00a0788，Springer，Heidelberg（1994）“}，{“key”：“11_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Milner，R.，Parrow，J.，Walker，D.：移动过程微积分I&II.信息与计算\u00a 0100（1992）”，“doi”：“10.1016\/0890-5401（92）90009-5”}，“key“：”11_CR13“，“series-title”：“计算机科学讲稿”，“第一页“：”15“，”卷时间“：”计算机科学逻辑“，”作者“：”P.W.O\u2019Hearn“，”年份“：”2001“，”非结构化“：”O\u209Hearn，P.W.，Reynolds，J.，Yang，H.：关于改变数据结构的程序的局部推理。收录于：Fribourg，L.（编辑）CSL 2001和EACSL 2001。LNCS，卷\u00a02142，第15页。Springer，Heidelberg（2001）“}，{”key“：”11_CR14“，”doi-asserted-by“：”crossref“，”unstructured“：”O\u2019Hearn，P.W.：资源、并发和局部推理。理论计算机科学\u00a0375（2007）“，”doi“：”10.1016\/j.tcs.2006.12.035“}”，{“key”：“11_CR15”，“series-title”：“计算机科学讲义”，“doi-assert-by”：“publisher”，“first page”：”201”，“DOI”：“10.1007\/978-3-540-78499-9_15”，“volume-title”：“软件科学和计算结构基础”，“author”：“M.Raza”，“year”：“2008”，“unstructured”：“Raza，M.，Gardner，P.：局部推理中的足迹。收录：Amadio，R.M.（编辑）FOSSACS 2008。LNCS，第u00a04962卷，第201\u2013215页。Springer，Heidelberg（2008）“}，{“key”：“11_CR16”，“unstructured”：“Smith，G.：为DOM核心级别1提供正式规范。博士论文，（待提交）（2009年12月）“}，{“key”：“11_CR17”，“unstructured”：“Vafeiadis，V.：模块化细粒度并发验证。技术报告UCAM-CL-TR-726，Cambridge（2008）”}，}“key:”11_CR18“，”unstructure“：”W3C.Dom:Document object model.W3C recommendation（2005），http://www.w3.org\/Dom\/“}计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“402”，“doi”：“10.1007\/3-540-45931-6_28”，“volume-title”：“软件科学和计算结构基础”，“author”：“H.Yang”，“year”：“2002”，“unstructured”：“Yang，H.，O\u2019Hearn，P.W.：局部推理的语义基础。收录：Nielsen，M.，Engberg，U.（编辑）FOSSACS 2002。LNCS，卷\u00a02303，第402页。Springer，Heidelberg（2002）“}”，“container-title”：[“计算机科学课堂讲稿”，“Web服务和形式化方法”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/978-3642-14458-5_11.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2020,11,24]]，“date-time”：“2020-11-24T02:53:08Z”，“timestamp”：1606186388000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\link.springer.com\/10.1007\/978-3642-14458-5_11”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2010]]}”，“ISBN”：[“9783642144578”，“9783642144585”]，“references-count”：19，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-642-14458-5_11“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-349“}]，”主题“：[]，”发布“：{”日期部分“：[2010]]}}}}