{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,3,2]，“日期-时间”：“2024-03-02T08:37:21Z”，“时间戳”：1709368641278}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：40，“出版商”：“ACM”，“资助者”：[{“DOI”：“10.13039\/501000004963”，“名称”：“第七框架计划”，“DOI-asserted-by”：“publisher”，“adward”：[“FP7 FET project ADVENT”]}]，“content-domain”：{“domain”:[“dl.acm.org”]，“crossmark-restriction”：true}，“short-container-title”：[]，“published-print”：{-“date-parts”：[[2014,10,15]]}，”DOI“：”10.1145\/2660193.2660243“，”type“：”“proceedings-article”，“created”：{--“date-parts”：[2014,10,21]]，“date-ports”时间“：”2014-10-21T12:59:05Z“，”时间戳“：1413896345000}，“更新策略”：“http://\/dx.doi.org\/10.1145\/crossmark-policy”，“source”：“Crossref”，“is-referenced-by-count”：62，“title”：[“GPS”]，“prefix”：“10.1145”，”author“：[{”given“：”Aaron“，”family“：”Turon“，”sequence“：”first“，”affiliation“：[}”name“Max Planck Institute for Software Systems，Saarbrucken，Germany”}]}，{“给定”：“维克多”，“家庭”：“Vafeiadis”，“sequence”：“additional”，“affiliation”：[{“name”：“Max-Planck Institute for Software Systems，Kaiserslautern，Germany”}]}，{“given”：“Derek”，“family”：“Dreyer”，”sequence“：”additional“，”affiliation:[{”name“：”Max-Plank Institutes for Software System，Saarbrucken，Gerany“}]]，“member”：“320”，“published on”：{“date-parts”：[[2014,10,15]]}，“reference”：[{“key”：“e_1_3_2_2_1_1”，“unstructured”：“Appendix and Coq development for this paper可从以下URL获得：http://\/plv.mpi-sws.org\/gps\/。Appendix for this paper and Coq development可从以下URL:http://\/prv.mpi-sws.org\/gsp\/.”}，{“key”：：“10.1007\/978-3-642-37036-6_28”}，{“key”：“e_1_3_2_2_3_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1926385.1926394“}，}”key“：”e_1_ 3_2_4_1“，”doi-assert-by“：”publisher“，：“10.1145\/2429069.2429099”}，{“key”：“e_1_3_2_2_6_1”，“doi-asserted-by”：“publisher”，“DOI”：“10.1145\/1375581.1375591”}，{“key”：“e_1_3_2_2_7_1”，“DOI-asserted-by”：“publisher”，”DOI“：“10.1007\/978-3642-36830-1_6”}、{“密钥”：“e_1_3_2_2_8_1”、“DOI-aserted-by“：”publisher“，”DOI:“10.1007\/978-3-642-14052-5_28”}：“publisher”，“DOI”：“10.1007\/978-3642-03359-9_2”}，{“key”：“e_1_3_2_2_10_1”，”非结构化“：“J.Corbet。票务旋转锁2008。http://\/lwn.net\/Articles\/267968\/。J.科尔贝。票证旋转锁2008。http://\/lwn.net\/Articles\/267968\/。“}，{”key“：”e_1_3_2_2_11_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3662-44202-9_9“}”，{“key”：“e_1_ 3_2_12_1”，”unstructured“：”e.W.Dijkstra.EWD123:合作顺序过程.1965年技术报告。E.W.迪克斯特拉。EWD123：合作顺序流程。1965年技术报告。81.1480922“}，{”key“：”e_1_3_2_2_16_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-11957-6_15“}，{“key”：“e_1_3_2_2_17_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/155090.155113“}”，{”key“：”e_1_ 3_2_18_1“，”unstructured“：”D.Howells and P.e.McKenney.Circular buffers.https:\//www.kernel.org\/Documentation\/Circular-buffers.txt。D.Howell s and P.e。麦肯尼。圆形缓冲区。https:\/\/www.kernel.org\/doc\/Documentation\/circular-buffers.txt。“}，{”key“：”e_1_3_2_2_19_1“，”非结构化“：”ISO\/IEC 14882:2011。编程语言C++2011。ISO\/IEC 14882:2011。编程语言C++2011.”}，｛“键”：“e_1_3_2_20_1”，“非结构化”：“ISO/IEC9899:2011。编程语言C 2011。ISO\/IEC 9899:2011。编程语言C 2011.“}，{”key“：”e_1_3_2_21_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3642-28869-2_19“}”，{“key”：“e_1_ 3_2_22_1”，“doi-assert-by”：“publisher”，“doi”：“10.1145\/69575.69577”}，”{”key“：“e_ 1_3_2 _23_1”，”doi-asserted-by“”：“publisher”，”doi:“10.1007\/978-3-642-03829-7_7“}，{“键”：“e_1_3_2_2_24_1”，“doi-asserted-by”：“publisher”，“DOI”：“10.1145\/24209069.2429134”}，{“key”：“e_1_3_2_25_1”，“DOI断言者”：“publisher”，“DOI”：“10.1145\/10040305.1040336”}，{“key”：“e_1_3_2_26_1”，“卷标题”：“俄勒冈研究生院”，“作者”：“McKenney P.”，“年份”：“2004”}，{“key”：“e_1_3_2_27_1”，“DOI断言者”：“publisher”，“DOI”：“10.1006\/jpdc.1998.1446“｝，｛”键“：”e_1_3_2_28_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3642-54833-8_16“}，{“key”：“e_1_3_2_29_1”，“doi-assert-by”：“publisher”，”doi:“10.1016\/j.tcs.2006.12.035”}，“key“：”e_1_ 3_2_30_1“，_31_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3642-03359-9_27“}，{”key“：”e_1_3_2_32_1“，”doi-asserted-by“：”publisher“，”doi“：”10.5555\/1884866.1884873“}，{”key“：”e_1_ 3_2_2_33_1“，“doi-assert-by”：“publisher”，“doi”：“10.1145\/1229428.1229469”}，“key”：“e_1_A_2_34_1”，”volume-title“：”ISCA“，”author“：”Singh A.“，”年份“：”2012“}”，{3_2_2_35_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-54833-8_9”}，{“key”：“e_1_3_2_36_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1145 \/2544174.2500600”}，{“key”：“e_1_ 3_2_37_1”，”doi-assert-by“：”publisher“，”doi“：”10.1145\/2509136.2509532“}，”{“密钥”：“e_1_3_2_38_1”1_3_2_2_39_1“，”卷标题“：”LOLA“，”作者“：”Wehrman I“，”年份“：”2011“}，{”关键“：”e_1_3_2_40_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-00590-9_26”}]，“event”：{“name”：“SPLASH‘14:系统、编程和应用会议：人性化软件”，“location”：“Portland Oregon USA”，“缩写词”：“SPASH‘14”，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组”，“SIGAda ACM Ada编程语言特别兴趣小组“]}，“container-title”：[“2014 ACM面向对象编程系统语言和应用国际会议论文集”]，“original-title“：[]，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2660193.2660243“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,9,4]]，”date-time“：”2023-09-04T19:14:40Z“，”timestamp“：1693854880000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2660193.2660243”}}，“副标题”：[“使用重影、协议和分隔导航弱内存”]，“短标题“：[]，”发布“：{“date-parts”：[[2014,10,15]]}，“references-count”：40，“alternative-id”：[“10.1145\/2660193.2660243”，“10.1145\/2660193”]，“URL”：“http://\/dx.doi.org\/10.1145\/26601193.26602”，“relationship”:{“is-idential-to”：[{“id-type”：“doi”，“id”：“10.1145 \/2714064.2660244”，“asserted-by”：“object”}}，“主题”：[]，“已发布”：{“日期部分”：[[2014,10,15]]}，”断言“：[{”value“：”2014-10-15“，”order“：2，”name“：”published“，”label“：”published“，”group“：{”name“:”publication_history“，”标签“：”publication history“}}]}