{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,8]]，“日期时间”：“2024-09-08T10:23:20Z”，“时间戳”：1725791000311}，“出版商位置”：“柏林，海德堡”，“参考计数”：25，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 642548321“}，{”类型“：“electronic”，“value”：“9783642548338”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2014]]}，”DOI“：”10.1007\/978-3642-54833-8_10“，”type“：”book-capter“，”created“：”{“date-part”：[2014,3,21]]，“date-time”：“2014-03-21T09:37:37:10 7Z“，”时间戳“：1395394637000}，”页面“：”169-188“，“source”：“Crossref”，“is-referenced-by-count”：16，“title”：[“Local Reasoning for the POSIX File System”]，“prefix”：“10.1007”，”author“：[{”given“：”Philippa“，”family“：”Gardner“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Gian：“附加”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“10_CR1”，“unstructured”：“Filesystem Hierarchy Standard Group。Filesystem Hierarchy Standard”}，{“密钥”：“0_CR2”，“非结构化”：“POSIX.1-2008，IEEE 1003.1-2008，The Open Group Base Specifications Issue 7”}：“10.1016\/j.entcs.2005.11.059”，“volume”：“155”，“author”：“Variables as resource in separation logic”，“year”：“2006”，“unstructured”：“Variables as resource in separational logics.Electronic Notes in Theory Computer Science \u00a0155，247\u2013276（2006）”，“journal title”：“Electronics Notes in theory Compute Sciences”}，{“key”：，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“373”，“doi”：“10.1007\/978-3-540-30482-1_32”，“volume-title”：《形式方法与软件工程》，“author”：“K.Arkoudas”，“year”：“2004”，“unstructured”：“Arkoudas，K.、Zee，K.，Kuncak，V.、Rinard，M.：验证文件系统实现。摘自：Davies，J.、Schulte，W.、Barnett，M.（编辑）ICFEM 2004。LNCS，卷\u00a03308，第373\u2013390页。Springer，Heidelberg（2004）“}，{”key“：”10_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”Calcagno，C.，Gardner，P.，Zarfaty，U.：“上下文逻辑和树更新。SIGPLAN Not.（2005）”，“doi”：“10.1145\/1040305.1040328”}，“”key：“10_CR6”，“”doi-sserted-byDinsdale-Young，T.，Birkedal，L.，Gardner，P.，Parkinson，M.，Yang，H.：观点：并发程序的组合推理。其中：POPL（2013）“，”DOI“：”10.1145\/2429069.2429104“}，”key“：”10_CR7“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“504”，”DOI:“10.1007\/978-3642-14107-2_24”，“volume-title”：“ECOOP 2010\u2013面向对象编程”，“author”：“T.Dinsdale-Young”，“year”：“2010”，“unstructured”：“”Dinsdale-Young，T.，Dodds，M.，Gardner，P.，Parkinson，M.J.，Vafeiadis，V.：并发抽象谓词。收录于：D\u2019Hondt，T.（编辑）ECOOP 2010。LNCS，第u00a06183卷，第504\u2013528页。Springer，Heidelberg（2010）“｝，｛“key”：“10_CR8”，“doi由”：“crossref”断言，“unstructured”：“Fisher，K.，Foster，N.，Walker，D.，Zhu，K.Q.：Forest:一种用于文件存储编程的语言和工具包。In：ICFP（2011）”，“doi”：“10.1145\/20347732034814”｝，｛“key”：“10_CR9”，“doi由”：“crossref”断言，“unstructured”：“Freitas，L.、Fu，Z.、Woodcock，J.：Z\/Eves中的POSIX文件存储：验证软件存储库中的实验。在：IEEE国际复杂计算机系统工程会议（2007）“，”DOI“：”10.1109\/ICERCS.2007.36“｝，｛”key“：”10_CR10“，”DOI断言“：”crossref“，”非结构化“：”Freitas，L.，Woodcock，J.，Butterfield，A.：POSIX和验证大挑战：路线图。在：ICECCS（2008）“，”DOI“：”10.1109\/ICERCS.2008.35“｝，｛”key“：”10_CR11“，”doi-asserted-by“：”crossref“，”unstructured“：”Gardner，P.，Ntzik，G.，Wright，A.：POSIX文件系统的本地推理。技术报告，伦敦帝国理工学院（2014），\n\n http://www.doc.ic.ac.uk\/~gn408\/POSIXFS\/“，”DOI“：”10.1007\/978-3642-54833-8_10“}，{“key”：“10_CR12”，“DOI-asserted-by”：“crossref”，“unstructured”：“Gardner，P.，Raad，A.，Wheelhouse，M.，Wright，A.：并行图书馆的抽象局部推理。In preparation（2014）“，”DOI“：”10.1016\/j.entcs.2014.10.009“}，{“key”：“10_CR13”，“DOI-asserted-by”：“crossref”，“unstructured”：“Gardner，P.，Smith，G.，Wheelhouse，M.，Zarfaty，U.：Local Hoare reasoning about DOM.，In:PODS（2008）”，“DOI”：“10.1145\/1376916.1376953”}，“{”key“：”10_CR14“，“un结构化”：”Gardner，P.，Wheelhouse，M.：树更新的小型规范，\n\n http://www.doc.ic.ac.uk \/~pg\/papers\/move.pdf“}，{”key“：”10_CR15“，”doi-asserted-by“：”crossref“，”unstructured“：”Hesselink，W.H.，Lali，M.“：形式化分层文件系统。In:REFINE（2009）“，”doi“：”10.1016\/j.entcs.2009.12.018“}，{“key”：“10_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Hobor，A.，Villard，J.：数据结构中共享的分支。in:POPL（2013）”，“doi”：“10.1145\/24229069.2429131”}，{（key）：“10_CR17”，“doi-asserted-by”:“crossrref”，”unstructure“：”Joshi，R.，Holzmann，G.J.：一个小挑战：构建一个可验证的文件系统。Form.Asp.Compute（2007）“，”DOI“：”10.1007\/978-3-540-69149-5_6“}，{“key”：“10_CR18”，“DOI-asserted-by”：“crossref”，“unstructured”：“Morgan，C.，Sufrin，B.：UNIX文件系统规范。IEEE Transactions on Software Engineering（1984）”，“DOI”：“10.1109\/TSE.1984.5010215”}，“{”key“：”10_CR19“，”非结构化“：”Ntzik，G.：关于文件系统的局部推理。博士论文（预期，2014）“}，{”key“：”10_CR20“，”doi-asserted-by“：”crossref“，”unstructured“：”Parkinson，M.，Bierman，G.：“分离逻辑和抽象。In:POPL（2005）”，“doi”：“10.1145\/10403050326”}，“key”：“10_CR21”，“unstructure”：“Reynolds，J.C.：分离逻辑：共享可变数据结构的逻辑。In:LICS（2002）”}10_CR22“，”非结构化“：”Smith，G.：关于Web程序的本地推理。博士论文（2011）“}，{”key“：”10_CR23“，”series-title“：”LNCS“，”first page“：“149”，”volume-title“：“ESOP 2014”，”author“：”K.Svendsen“，”year“：”2014“，”unstructured“：”Svendsen，K.，Birkedal，L.：确凿的并发抽象谓词。In:Shao，Z.（ed.）ESOP 2014。LNCS，卷\u00a08410，第149\u2013168页。Springer，Heidelberg（2014）“}，{“key”：“10_CR24”，“doi-asserted-by”：“crossref”，“unstructured”：“Turon，A.，Dreyer，D.，Birkedal，L.：统一高阶并发逻辑中的精化和灰白色推理。in：ICFP（2013）”，“doi”：“10.1145\/2500365.2500600”}Wright，A.：结构分离逻辑。伦敦帝国理工学院（2013）博士论文“}”，“container-title”：[“计算机科学课堂讲稿”，“编程语言和系统”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-54833-8_10”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放“：{“date-parts”：[[2019,5,26]]，“date-time”：“2019-05-26T12:21:44Z”，“timestamp”：1558873304000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/link.springer.com/10.1007\/978-3642-54833-8_10“}”，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-ports”：[2014年]月，“ISBN”：[”9783642548321“，”9783642448338“]，”references-count“：25，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-642-54833-8_10“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2014]]}}}}