{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,3,2]，“日期-时间”：“2024-03-02T08:36:25Z”，“时间戳”：1709368585274}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：28，“发布商”：“ACM”，“内容-域”：{:“域”：[“dl.ACM.org”]，“交叉标记-严格离子“：true}，”短容器时间“：[]，“published-print”：{“date-parts”：[[2014,1,8]]}，“DOI”：“10.1145\/2535838.2535854”，“type”：“procedings-article”，“created”：{“date-parts”：[2014,1,14]]，“date-time”：“2014-01-14T13:40:06Z”，“timestamp”：1389706806000}，”update-policy“：”http://\/dx.DOI.org\/10.1145\/crossmark-policy“，”source“：“Crossref”，“is-referenced-by-count”：21，“title”：[“通过有效命题公式对堆路径进行模块化推理”]，“前缀”：“10.1145”，“作者”：[{“given”：“Shachar”、“family”：“Itzhaky”，“sequence”：“first”，“affiliation”：[}“name”：“Tel Aviv University，Tel Avivi，Israel”}]}，{“given”:“Anindya”，”family“：”Banerjee“，”sequence“：”additional“，”affiliance“:[{”name“：“IMDEA软件研究所，西班牙马德里”}]}，{“given”：“Neil”，“family”：“Immerman”，“sequence”：“additional”，“affiliation”：[{“name”：“UMASS Amherst，Amherest，MA，USA”}]neneneep，{”given“：”Ori“，”family“：”Lahav“，”sequence“：”additional family“：”Nanevski“，”sequence“：“additional”，“affiliation”：[{“name”：“IMDEA Software Institute，Madrid，Spain”}]}，{“given”：“Mooly”，“family”：“Sagiv”，“sequence”：“addressive”，“abfiliance”：[[{（名称）：“Tel Aviv University，Tel Avivi，Israel”}]]，“member”：“320”，“published-online”：{“date-parts”：[[2014,1,8]}、“reference”：[{“key”：”e_1_3_2_1_1“，”volume-title“”：“动态创建线程的并发程序的上下文分析。计算机科学中的逻辑方法，7 , 2011 . M.F.Atig、A.Bouajjani和S.Qadeer。用于动态创建线程的并发程序的上下文受限分析。计算机科学中的逻辑方法，7（4），2011.“}，{”key“：”e_1_3_2_2_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/195122.1953145”}，“key”：“e_1_ 3_2_3_1”，“volume-title”：“SMTLIB:可满足模理论库”，“author”：“Barrett C.”，“year”：“2013”，“unstructured”：“C.Barrett，A.Stump，and C。蒂内利。SMTLIB：可满足性模理论库，2013年。http:\/\/smtlib.cs.uiowa.edu\/docs.html。C.Barrett、A.Stump和C.Tinelli。SMTLIB：可满足性模块理论库，2013。http:\/\/smtlib.cs.uiowa.edu\/docs.html。“}，{”key“：”e_1_3_2_4_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-3386-6_14”}，“key”：“e_1_ 3_2_5_1”，“doi-assert-by”：“publisher”，”doi“：”10.1006\/inco.1995.1102“}“}，{”键“：”e_1_3_2_2_8_1“，”doi-asserted-by“：”交叉引用“，”doi“：”10.1007\/978-1-4612-0539-5”，“卷标题”：“描述性复杂性。计算机科学研究生论文”，“作者”：“Immerman N.”，“年份”：“1999年”，“非结构化”：“N.Immerman。描述性复杂性。计算机科学研究生课程。斯普林格，1999年。N.伊梅尔曼。描述性复杂性。计算机科学研究生课程。Springer，1999.“}，{”key“：”e_1_3_2_2_9_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/360204.375719”}，“key”：“e_1_ 3_2_10_1”，“volume-title”：“通过有效命题公式对堆路径进行模块化推理。技术报告”，“作者”：“Itzhaky S.”，《年份》：“2013年”，“非结构化”：“S.Itzhaky，A.Banerjee，N.Immerman，O.Lahav，A。纳内夫斯基和M.萨吉夫。通过有效的命题公式对堆路径进行模块化推理。技术报告，特拉维夫大学，2013年。http://www.cs.tau.ac.il\/~shachar\/dl\/tr 2013b.pdf。S.Itzhaky、A.Banerjee、N.Immerman、O.Lahav、A.Nanevski和M.Sagiv。通过有效的命题公式对堆路径进行模块化推理。技术报告，特拉维夫大学，2013年。http://www.cs.tau.ac.il\/~shachar\/dl\/tr 2013b.pdf。“}，{”key“：”e_1_3_2_2_11_1“，”doi-asserted-by“：”publisher“，”doi“：”10.5555\/2958031.2958053“}”，{“key”：“e_1_ 3_2_12_1”，“volume-title”：“关于链接数据结构中可达性的有效证明推理。技术报告”，“作者”：“Itzhaky S.”，“年份”：“2013”，“非结构化”：“S.Itzhaky，A.Banerjee，N.Immerman，A.Nanevski，and M.”。萨吉夫。关于链接数据结构中可达性的有效证明推理。技术报告，特拉维夫大学，2013年。http://www.cs.tau.ac.il\/~shachar\/dl\/tr-2013.pdf。S.Itzhaky、A.Banerjee、N.Immerman、A.Nanevski和M.Sagiv。关于链接数据结构中可达性的有效证明推理。技术报告，特拉维夫大学，2013年。http://www.cs.tau.ac.il\/~shachar\/dl\/tr-2013.pdf。“}，{”key“：”e_1_3_2_2_13_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1328438.1328461”}，“key”：“e_1_ 3_2_14_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/1127878.1127884“}，{“key”：“e_1_3_2_2_16_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-3642-03013-0_5“}，{“key”：“e_1_3_2_2_17_1”，“doi-asserted-by”：“publisher”，”doi“：“10.1145\/378795.378851”}，“key“：”e_1_ 3_2_18_1“，”doi-assert-by“：”publisher“，：“10.5555\/2958031.2958054”}，{“key”：“e_1_3_2_2_20_1”，“doi-asserted-by”：“publisher”DOI“：”10.1007\/978-3-540-24622-0_21“}，{“key”：“e_1_3_2_21_1”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1145\/1040305.0330”}，}“密钥”：“e_1_3_2_2_22_1”I“：”10.1145\/1926385.1926406“}，{”key“：”e_1_3_2_2_24_1“，”DOI-asserted-by“：”publisher”，“DOI”：“10.1145\/321879.321884”}，｛“key”：“e_1_3_2_25_1”，“volume title”：“CMU落叶松项目”，“author”：“Wing J.”，“year”：“1995”，“nonstructured”：“J.Wing.The CMU落叶松项目。1995。URL http:\/\/wcs.CMU.edu\/afs\/cs\/Project\/localch\/www\/home.html。J.Wing.The CMU落叶松项目。1995。网址：http://www.cs.cmu.edu\/afs\/cs\/project\/larch\/www\/home.html。“}，{”key“：”e_1_3_2_26_1“，”series-title“：计算系列基础”，“volume-title”：“简介”，“作者”：“Winskel G.”，“年份”：“1993年”，“非结构化”：“G.Winskel。编程语言的形式语义：简介。计算系列基础。美国Zone Books，1993年。ISBN 9780262731034。G.Winskel。程序设计语言的形式语义：导论。计算机基础系列。Zone Books，美国，1993年。ISBN 9780262731034.“}，{”key“：”e_1_3_2_27_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3-540-70545-1_36”}，“key”：“e_1_ 3_2_28_1”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/jlap.2006.12.001“}doi“：”10.1145\/1375581.1375624“}]，“事件”：{“名称”：“POPL’14：第41届ACM SIGPLAN-SIGACT编程语言原理年会”，“地点”：“美国加州圣地亚哥”，“缩写词”：“POPL‘14”，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组”，“SIGACT ACM算法和计算理论特别兴趣小组“]}，“容器-时间”：[”第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集“]，“original-title”：[]，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2535838.2535854”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,9,4]]，“date-time”：2023-09-04T17:45:33Z”，“时间戳”：1693849533000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/dl.acm.org/doi\/10.1145\/253588.2535854”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2014,1,8]]｝，“引用次数”：28，“替代id”：[“10.1145\/253588.2535854”，“10.1145\/2535838”]，“URL“：”http:\/\/dx.doi.org\/10.1145\/2535838.2535854“，”关系“：{”is-idential-to“：[{”id-type“：”doi“，”id“：”10.1145\/2578855.2535854“，”asserted-by“：”object“}]}，”subject“：[]，”published“：”{“date-parts”：[[2014,1,8]]}、”assertion“：[}”value“：”2014-01-08“，”order“：2，“name”：“published”，“label”“：”“published”“，”group“：{”name“：”publication_history“，”label“：”出版历史“}}]}}