{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,9,15]]，“日期-时间”：“2024-09-15T22:36:44Z”，“时间戳”：1726439804218}，“出版商位置”：“美国纽约州纽约市”，“引用-计数”：30，“出版者”：“ACM”，“内容-域”：“域”：[”dl.ACM.org“]，“交叉标记-striction“：true}，”short-container-title“（限制）：[]，“published-print”：{“date-parts”：[[2013,1,23]]}，“DOI”：“10.1145\/2429069.2429104”，“type”：“proceedings-article”，“created”：{“date-parts”：[2013,1,22]]，“date-time”：“2013-01-22T15:29:29Z”，“timestamp”：1358868569000}，”page“：”287-300“update-policy”：”http://\/dx.DOI.org\/10.1145\/crossmark-policy“，”source“：”Crossref“，”is-referenced-by-count“：85，”title“：[“Views”]，“prefix”：“10.1145”，“author”：[{“given”：“Thomas”，“family”：“Dinsdale-Young”，“sequence”：“first”，“affiliation”：[}“name”：“Imperial College London，United Kingdom”}]}，{“fivent”：“Lars”，“家族”：“Birkedal”，“序列”：“additional”：“Gardner”，“sequence”：“additional”，“affiliation”：[{“name”：“Imperial College London，United Kingdom”}]}，{“given”：“Matthew”，“family”：“Parkinson”，“序列”：“附加的”，“从属关系”：[[{名称：“Microsoft Research，Cambridge，联合王国”}]{：“英国牛津大学”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2013,1,23]]}，“reference”：[{“key”：“e_1_3_2_1_1”，“doi-asserted-by”：“publisher”，”doi“：“10.5555\/1365997.1366003”}，{“volume-title”：“类阿尔及尔语言的分离逻辑类型和高阶框架规则的语义。LMCS，2（5:1）”，“year”：“2006年”，“author”：“Birkedal L.”，“key”：“e_1_3_2_2_1”，“nonstructured”：“L.Birkedal，N.Torp Smith，and H.Yang。类Algol语言的分离逻辑类型和高阶框架规则的语义。LMCS，2（5:1），2006。L.Birkedal，N.Torp Smith，and H。杨。类Algol语言的分离语义逻辑类型和高阶框架规则。LMCS，2（5:1），2006.“}，{”key“：”e_1_3_2_3_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3-540-70583-3_29”}，“key”：“e_1_ 3_2_4_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/1040340327“}”，{10.1016\/j.entcs.2007.02.006“}，{“key”：“e_1_3_2_2_6_1”，“doi-asserted-by”：“publisher”，”DOI“：”10.1109\/LICS.2007.30“}，{”key“：”e_1_3_2_2_7_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1145\/1411204.1411235”}，“key”：“e_1_ 3_2_9_1”，“DOI-assert-by”：“publisher”，”DOI“:”10.5555\/1883978.1884012“}”，{“：”10.5555\/1884866.1884888“}，{”key“：”e_1_3_2_11_1“，”DOI-asserted-by“：”crossref“，”非结构化“：”T.Dinsdale-Young L.Birkedal P.Gardner M.Parkinson和H.Yang。观点：并发程序的合成推理（技术报告和附加材料）。http:\/\/sites.google.com/site\/viewsmodel\/2012。T.Dinsdale-Young L.Birkedal P.Gardner M.Parkinson和H.Yang。观点：并发程序的合成推理（技术报告和附加材料）。http:\/\/sites.google.com\/site\/viewsmodel\/2012.”，“DOI”：“10.1145\/24290692429104”}，｛“key”：“e_1_3_2_12_1”，“DOI由”断言：“publisher”，“DOI”：“10.1007\/978-3-642-10672-9_13”｝，｛“key”：“e_1_3_2_13_1”，“DOI由”断言：“publisher”，“DOI”：“10.1007\/978-3-642-00590-9_26”｝，｛“key”：“e_1_3_2_2_14 _1“，”DOI由“：”publisher“断言，”DOI“：”10.1145\/1480881.1480922“}，{“key”：“e_1_3_2_2_15_1”，“doi-asserted-by”：“publisher”，”doi“：“10.5555\/1762174.1762193”}，}“volume-title”：“Draft”，“year”：“2012”，“author”：“Gardner P.”，《key》：“e_ 1_3_2 _16_1”、“unstructured”：“P.Gardner，G.Nzik，and A.Wright。使用结构分离逻辑推理POSIX文件系统。Draft，2012。P。加德纳、G.Nzik和A.Wright。使用结构分离逻辑推理POSIX文件系统。草稿，2012年。“}，{”key“：”e_1_3_2_2_17_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2384616.2384619”}，“key”：“e_1_ 3_2_18_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/360204.375719“}”，{-28869-2_19“}，{”key“：”e_1_3_2_2_20_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/69575.69577“}，{“key”：“e_1_3_2_21_1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1708016.1708025”}，“key“：”e_1_ 3_2_2_22_1“，”doi-assert-by“：”publisher“，”doi“：”10.1145\/2398856.2364536“}\/319301.319345“}，{”key“：”e_1_3_2_2_24_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/BF00268134“}，{”key“：”e_1_3_2_2_25_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1190216.1190261”}，}”volume-title“：”INRIA“，”year“：”2011“，”author“：”Pottier F.“。波蒂埃。具有隐藏状态的类型和功能系统的语法正确性证明。技术报告，INRIA，2011.“}，{”key“：”e_1_3_2_27_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/64583.664578”}，“key”：“e_1_ 3_2_28_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007\/978-3642-03013-0_8“}”，{“10.5555\/645394.651903”}，{“卷时间”：“高阶分离逻辑中联接库的规范。技术报告”，“年份”：“2012年”，“作者”：“Svendsen K.”，“密钥”：“e_1_3_2_2_30_1”，“非结构化”：“K.Svendson，L.Birkedal，and M.Parkinson。高阶分离逻辑中联接库的规范。技术报告，哥本哈根信息技术大学，2012年。K.Svendsen、L.Birkedal和M.Parkinson。高阶分离逻辑中联接库的规范。哥本哈根IT大学技术报告，2012年。“}，{”key“：”e_1_3_2_2_31_1“，”doi-asserted-by“：”publisher“，”doi“：”10.5555\/2392200.2392220“}]，”event“：{”name“：”POPL'13:第40届ACM SIGPLAN-SIGACT编程语言原则研讨会“，”赞助商“：[”SIGPLAN ACM编程语言特别兴趣小组“，”SIGACT ACM算法和计算理论特别兴趣小组“]，“location”：“Rome Italy”，“缩写词”：“POPL'13”}，“container-title”：[“第40届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集”]，“original-title“：[]，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/24229069.2429104”，“content-type”：“unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,9,4]]，”date-time“：”2023-09-04T22:04:56Z“，”timestamp“：1693865096000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/24229069.2429104”}}，“subtitle”：[“compositional并发程序推理“]”short title“：[]，”issued“：{”date-parts“：[[2013,1,23]]}，”references-count“：30，”alternative-id“：[”10.1145\/2429069.2429104“，”10.1145\/2429069“]，”URL“：”http://\/dx.doi.org\/10.1145\/24229069.242904“，”relation“：”{“is-idential-to”：[{“id-type”：“doi”，“id”：“10.1145\/2480359.2429104”，“断言者”：“对象”}]}，“主题”：[]，“发布”：{”date-parts“：[[2013,1,23]]}，”assertion“：[{”value“：”2013-01-23“，”order“：2，”name“：”published“，”label“：”published“，”group“：{”name“:”publication_history“，”标签“：”publication history“}}]}