{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,9,7]]，“日期-时间”：“2024-09-07T16:12:14Z”，“时间戳”：1725725534687}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：17，“发布商”：“ACM”，“内容-域”：[“dl.ACM.org”]，“交叉标记-严格离子“：true}，”短容器时间“：[]，“published-print”：{“date-parts”：[[2004,1]]}，“DOI”：“10.1145\/964001.964030”，“type”：“proceedings-article”，“created”：{“date-ports”：[2004,2,5]]，“date-time”：“2004-02-05T11:00:56Z”，“timestamp”：1075978856000}，”page“：”342-352“，”“update-policy”：”http://dx.DOI.org\/10.1145\/crossmark-p policy“，”source“：”Crossref“，”is-referenced-by-count“：16，”title“：[“使用随机解释的全局值编号”]，“前缀”：“10.1145”，“卷”：“1384”，“作者”：[{“给定”：“Sumit”，”家族“：“Gulwani”，“sequence”：“first”，“affiliation”：[}“name”：“加州大学伯克利分校，加州伯克利分校”}]}，{“given”：“George C.”，“family”：“Necula”，“serquence”:“additional”，“auliation”：“加州大学伯克利分校”}]}]，“成员”：“320”，“在线发布”：{“date-parts”：[[2004,1]]}，“参考”：[{“key”：“e_1_3_2_1_1_1”，“doi-asserted-by”：“publisher”，”doi“：“10.1145\/7356.73561”}，{“密钥”：“e_1_3_2_1_1“，”doi-assert-by“：”publisher“，“doi”：“10.1002\/（SICI）109 7-024X（199706）27:6%3C701:：AID-SPE104%3E3.3.CO；2-S“}，{“键”：“e_1_3_2_1_3_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/207110.207154“}，{“key”：“e_ 1_3_2 _1_4_1”、“doi-aserted-by“：”publisher“，“doi”：“10.1145\/512950.512973”}，“key“：”e_1_ 3_2_1_5_1“，”doi-assert-by“_1_6_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/512529.512536”}，{“key”：“e_1_3_2_1_7_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/604131.604138“}，{“key”：“e_ 1_3_2 _1_9_1”、“doi-aserted-by“：”publisher“，”doi:“10.1145\/512927.512945”}，“volume-tile”：”Morgan Kaufmann“，”年份：“2000”，“author”：“Muchnick S.”，“e_1_3_2_11_1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/349299.349314”}，{“key”：“e_1_3_2_12_1”，“首页”：“151”，“volume-title”：“第四届国际会议，TACAS’98”，“卷”：“1384”，“作者”：“Pnueli A.”，“年份”：“1998”}，{“key”：《e_1_ 3_2_13_1》，“doi-asserted-by”：“publisher”，《doi》：“10.1145\/7356.73562”}“年份”：“1990年”，“作者”：“R\u00fcthing O.”，“key”：“e_1_3_2_14_1”}，{“key“：”e_1_ 3_2_1_15_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/647168.718137”}、{“key”：”e_ 1_3_2 _16_1“、”doi-aserted-by-“：“：”publisher“，”doi“：”10.5555\/29580.29585“}，{”key“：”e_1_3_2_18_1“，“doi-asserted-by”：“publisher”，“DOI”：“10.1145\/103135.103136”}]，“event”：{“name”：“POPL04:第31届美国计算机学会编程语言原理研讨会”，“赞助商”：[“SIGPLAN美国计算机学会程序语言特别兴趣小组”，“美国计算机学会”，“SIGACT美国计算机学会算法与计算理论特别兴趣小组“]，“location”：“Venice Italy”，“缩写词”：“POPL04”}，“container-title”：[“第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集”]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/964001.964030”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“deposed”：{“date-parts”：[[2023,9,4]]，“date-time”：“2023-09-04T12:23:22Z”，“timestamp”：16938302000}，“score”：1，“resource”：{primary”：{URL：“https:\/\/dl.acm.org\/doi\/10.1145\/96401.964030”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2004,1]]}”，“references-count”：17，“alternative-id”：[“10.1145\/964001.964030”，“10.1145\/964001”]，“URL”：“http://\/dx.doi.org\/10.1145\/964001.964030”，“关系”：{“is-idential-to”：[{“id-type”：“doi”，“id”：“10.1145\/982962.94030”，“asserted-by”：“object”}]}，“subject”：[]，“published”：{“date-parts”：[[2004,1]]}：“published”，“group”：{“name”：“publication_history”，“label”：“出版物历史记录”}}]}}