{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,12]，“日期时间”：“2024-04-12T15:57:03Z”，“时间戳”：1712937423844}，“出版商位置”：“柏林，海德堡”，“参考计数”：23，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642141065”，“类型”：“打印”}，{“值”：“9783642141072”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2010]]}，”DOI“：”10.1007\/978-3642-14107-2_24“，”type“：”book-capter“，”created“：{”date-ports“：[2010,6,29]]，”date-time“：”2010-06-29T12:10:10 4Z“，”时间戳“：1277813414000}，”页面“：”504-528“，“source”：“Crossref”，“is-referenced-by-count”：109，“title”：[“Concurrent Abstract Predicates”]，“prefix”：“10.1007”，”author“：[{”given“：”Thomas“，”family“：”Dinsdale-Young“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Mike“，”“family”：“Dodds”，“sequence”：“additional”，“afliation”：[]{”“附加”，“affiliation”：[]}，{“given”：“Matthew J.”，“family”：“Parkinson”，“sequence”：“additional”，“affeliance”：[]}：“Bierhoff，K.，Aldrich，J.：别名对象的模块化类型状态检查。In:OOPSLA，pp.301\u2013320（2007）”，“DOI”：“10.21236\/ADA465507”}，{“key”：“24_CR2”，“series-title”：“计算机科学讲义”，“DOI-asserted-by”：“publisher”，“DOI”：《10.1007\/3-540-44898-5_4》，“volume-title”：《静态分析》，“author”：“J.Boyland”，“year”：“2003”，“非结构化”：“Boyland，J.：检查分数权限的干扰。收录：Cousot，R.（编辑）SAS 2003。LNCS，卷\u00a02694。Springer，Heidelberg（2003）“}，{“key”：“24_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Calcagno，C.，Gardner，P.，Zarfaty，U.：关于数据更新的局部推理。Festschrift计算，意义和逻辑：Gordon Plotkin专用文章，172（2007）”，“doi”：“10.1016\/j.entcs.2007.02.006”}，}，“key“：”24_CR4“，”doi-assert-by“：“cross-ref”，”非结构化“：”Calcagno，C.，O\u2019Hearn，P.W.，Yang，H.：局部动作和抽象分离逻辑。收录：Symp。论Comp.中的逻辑。Sci（LICS 2007），pp.366\u2013378（2007）“，”DOI“：”10.1109\/LICS.2007.30“}，｛”key“：”24_CR5“，”DOI断言“：”crossref“，”非结构化“：”Dinsdale Young，T.，Dods，M.，Gardner，P.，Parkinson，M.，Vafeiadis，V.：并发抽象谓词。技术报告777，剑桥大学计算机实验室（2010）“，”DOI“：”10.1007\/978-3-642-14107-2_24“}，{“key”：“24_CR6”，“unstructured”：“Dinsdale-Young，T.，Gardner，P.，Wheelhouse，M.：关于并发B*-list算法的局部推理。Talk and unpublished report（2009），http://www.doc.ic.ac.uk\/~pg\/”}，}，“key“：”24_CR7“非结构化”：“Dinsdale-Young，T.，Gardner，P.，Wheelhouse，M.：位置优化。技术报告DTR10-8，伦敦帝国理工学院（2010）“}，{“key”：“24_CR8”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《363》，“doi”：“10.1007\/978-3642-00590-9_26”，“volume-title”：《编程语言与系统》，“author”：“M.Dodds”，“year”：“2009”，“unstructured”：“Dods，M.，Feng，X.，Parkinson，M.，Vafeiadis，V.：拒绝担保推理。收录：Castagna，G.（编辑）ESOP 2009。LNCS，卷\u00a05502，第363\u2013377页。Springer，Heidelberg（2009）“}，{”key“：”24_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”Feng，X.“：Local rely-guarantee reasonship.In:POPL（2009 1316-6_13“，”volume-title“：“编程语言与系统”，“author”：“X.Feng”，“year”：“2007”，“unstructured”：“Feng，X.，Ferreira，R.，Shao，Z.：关于并发分离逻辑与假设保证推理之间的关系。摘自：De Nicola，R.（编辑）ESOP 2007。LNCS，卷\u00a04421，第173\u2013188页。Springer，Heidelberg（2007）“}，{”key“：”24_CR11“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“19”，“doi”：“10.1007\/978-3-540-76637-7_3”，“volume-title”：“Programming Languages and Systems”，“author”：“A.Gotsman”，“year”：“2007”，“unstructured”：“Gotsman，A.、Berdine，J.、Cook，B.、Rinetzky，N.、Sagiv，M.：可存储锁和线程的局部推理。收录：邵，Z.（编辑）APLAS 2007。LNCS，第00a04807卷，第19页\u201337。Springer，Heidelberg（2007）“}，{”key“：”24_CR12“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“171”，”doi“：”10.1007\/978-3-540-89330-1_13“，”volume-title“：“Programming Languages and Systems”，“author”：“C.Haack”，“year”：“2008”，“unstructured”：“Haack，C.，Huisman，M.，Hurlin，C.：关于Java\u2019重新进入锁的推理。收录：Ramalingam，G.（编辑）APLAS 2008。LNCS，卷\u00a05356，第171\u2013187页。Springer，Heidelberg（2008）“}，{“key”：“24_CR13”，“volume-title”：“多处理器编程的艺术”，“author”：“M.Herlihy”，“year”：“2008”，“unstructured”：“Herlih2，M.，Shavit，N.：多处理器编程艺术。Elsevier，Amsterdam（2008）”}，}“issue”：“3”，”key：“24-CR14”，“doi-asserted-by”：“publisher”，”，“first page”：”463“，“doi”：“10.1145\/78969.78972“，“卷”：“12”，“作者”：“M.P.Herlihy”，“年份”：“1990”，“非结构化”：“Herlihey，M.P.，Wing，J.M.：线性化：并发对象的正确条件。TOPLAS\u00a012（3），463\u2013492（1990）“，”journal-title“：”TOPLAS“}，{“key”：“24_CR15”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page”：“353”，“doi”：“10.1007\/978-3-540-78739-6_27”，“volume-title”：”编程语言和系统“，”作者：“A.Hobor”，“年份”：“2008”，“非结构化”：“”Hobor，A.，Appel，A.W.，Nardelli，F.Z.：并发分离逻辑的Oracle语义。摘自：Drossopoulou，S.（编辑）ESOP 2008。LNCS，卷\u00a04960，第353\u2013367页。Springer，Heidelberg（2008）“}，{“key”：“24_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Ishtiaq，S.S.，O\u2019Hearn，P.W.：BI作为可变数据结构的断言语言。摘自：POPL，pp.14\u201326（2001年1月）”，“doi”：“10.1145\/360204.375719”}，}，“key“：”24_CR17“非结构化”：“Jacobs，B.，Piessens，F.：无锁数据结构的模块化全功能规范和验证。技术报告CW 551，凯瑟琳·鲁汶大学计算机科学系（2009年6月）“}，{“key”：“24_CR18”，“unstructured”：“Jones，C.B.：Annonted objectory on releand\/guarantee conditions（2007年），http://\/homepages.cs.ncl.ac.uk\/cliff.Jones \/ftp-stuff\/rg-hist.pdf”}，}，“key“：”24_CR19“，“unsructured“：”O\u2019Hearn，P.W.：资源、并发和局部推理。TCS（2007）“}，{”key“：”24_CR20“，”doi-asserted-by“：”crossref“，”unstructured“：”Parkinson，M.，Bornat，R.，O\u2019Hearn，P.：“非阻塞堆栈的模块化验证。In:POPL，pp.297\u2013302（2007年1月）“，”doi“：”10.1145\/1190216.1190261“}”，{帕金森，M.J.，比尔曼，G.M.：分离逻辑和抽象。摘自：POPL，pp.247\u2013258（2005）“，”DOI“：”10.1145\/1040305.100326“}，{”key“：”24_CR22“，”unstructured“：”Pinto，P.：关于BLink树的推理。高级硕士ISO项目，伦敦帝国理工学院（2010），由Dinsdale-Young，Gardner and Wheelhouse监制“}”，{“key”：“24_CR23”，“series-title”：“计算机科学讲稿”，“DOI-asserted-by”：“”publisher，“首页”：“256”，“DOI”：“10.1007\/978-3-540-74407-8_18”，“卷时间”：“CONCUR 2007\u2013并发理论”，“作者”：“V.Vafeiadis”，年：“2007”，“非结构化”：“Vafeiadis，V.，Parkinson，M.：依赖与分离逻辑的结合。收录：Caires，L.，Vasconcelos，V.T.（编辑）CONCUR 2007。LNCS，卷\u00a04703，第256\u2013271页。Springer，Heidelberg（2007）“}]，“container-title”：[“ECOOP 2010\u2013面向对象编程”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/978-3642-14107-2_24.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]存放“：{“date-parts”：[[2020,11,24]]，“date-time”：“2020-11-24T02:47:43Z”，“timestamp”：1606186063000}，“score”：1，“resource”：{”primary“”URL“：”http://\/link.springer.com\/10.1007\/978-3642-14107-2_24“}，”subtitle“：[]，”shorttitle“：[]，”issued“：{“date-ports”：[2010]]}，《ISBN》：[“97836421]41065“，”9783642141072“]，”references-count“：23，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-642-14107-2_24“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”03029743“，”类型“：”打印“}，{”value“：”1611-33049“，”type“:”电子“}]，”主题“：[]，”发布“：{”日期部分“：[2010]]}}}}