{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,7]]，“日期-时间”：“2024-09-07T16:08:11Z”，“时间戳”：1725725291129}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：44，“发布商”：“ACM”，“许可证”：[{“开始日期”：[2016,10,23]]，时间“：”2016-10-23T00:00:00Z“，”时间戳“：1477180800000}，“content-version”：“vor”，“delay-in-days”：366，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“funder”：[{“DOI”：“10.13039\/100006602”，“name”：“Air Force Research Laboratory”，“DOI-asserted-by”：“publisher”，“award”：[“DARPA CRASH奖FA8650-10-C-7088，DARPA MUSE奖FA8750-14-2-0270，DARPA STAC奖FA8750.15-C-0082”]，“id”：[{“id”:“10.13039\/100006602”，“id-type”：“DOI”，“asserted-by”：“publisher”}]}，{“name”：“Rajiv and Ritu Batra”，“award”：[“N/A”]}“不适用”]}，{“DOI”：“10.13039\\100001395”，“name”：“威斯康星校友研究基金会”，“doi断言者”：“出版商”，“奖项”：[“N/A”]，“id”：[｛“id”：“10.13039\\100001395”，“id type”：“doi”，“断言者”：“出版商”}]｝，｛“doi”：“10.13039\\100000185”，“name”：“国防高级研究计划局”，“doi断言者”：“出版商”，“奖项”：[“HR0011-12-2-0012”]，“id”：[｛“id”：“10.13039\/10000185”，“id-type”：“DOI”，“asserted-by”：“publisher”}]}，{“DOI“：”10.13039\/100000001“，”name“：”National Science Foundation“，”DOI-serted-by“：”publisher“，”award“：[”CCF-0904371“]，”id“：[{“id”：“10.130.39\/100000001”，“id-type“：”DOI“，”asserted-dby“：”publisher“}]}]，“content-domain”：{“域”：[“dl.acm.org”]，“交叉标记限制”：true}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2015,10,23]]}，“DOI”：“10.1145\/2814270.2814321”，“type”：“proceedings-article”，“created”：{-“date-ports”：[2015,11,2]，“date-time”：“2015-11-02T16:04:33Z”，“timestamp”：1446480273000}，”page：“860-879”，“update-policy”：”http://\/dx.DOI。org\/10.1145\/crossmark-policy“，”source“：”Crossref“，“is-referenced-by-count”：9，“title”：[“机器代码的部分评估”]，“prefix”：“10.1145”，“author”：[{“given”：“Venkatesh”，“family”：“Srinivasan”，“sequence”：“first”，“affiliation”：[}“name”：“University of Wisconsin-Madison，USA”}]}，{“fixed”：“Thomas”：“美国威斯康星大学麦迪逊分校”}]}]，“成员”：“320”，“在线发布”：{“日期-parts”：[[2015,10,23]]}，“引用”：[{“doi-asserted-by”：“publisher”，“key”：“e_1_3_2_1_1”，”doi“：”10.1145\/11020.1102165/154630.154636“}，{”doi-asserted-by“：”publisher“，”key“：“e_1_3_2_1_4_1”，“DOI”：“10.1145\/2566620”}，{“DOI-asserted-by”：“publisher”，”key“：”e_1_se_5_1“，”DOI“：”10.1145\/231379.231409“}，”DOI-assert-by“：”publisher“，_2_1_7_1“，“DOI”：“10.1007\/978-3-540-31985-6_19”}，{“DOI-asserted-by”：“publisher”，“key”：“e_1_3_2_1_8_1”，“DOI”：“10.1145\/1168857.1168906”}，{“DOI-asserted-by”：“publisher”，”key“：”e_1_s2_1_9_1“，”DOI“：”10.1145\/176454.176473“}，}“volume-title”：“CAV”，“year”：“2011”，“author”：“Brumley D.”，“unstructured”：“D.Brumley，I.Jager，T.Avgerinos，and e.Schwartz.BAP：二进制分析平台。In CAV D.Brumley，I.Jager，T。Avgerinos和E.Schwartz。BAP：二进制分析平台。在CAV，2011.“，”key“：”e_1_3_2_1_10_1“}，”doi-asserted-by“：”publisher“，”密钥“：”e_1_3_2_11_1“，”doi“：”10.1145\/237721.237767“}”，{“doi-assert-by”：“publisher”，“key”：“e_1_ 3_2_12_1”，“doi”：“10.5555\/647372.724058”}，3_1“，“doi”：“10.1145\/2046707.2046739”}，{“doi-asserted-by”：“publisher”，“key”：“e_1_3_2_14_1“，“DOI”：“10.1145\/215465.215569”}，{“DOI-asserted-by”：“publisher”，“key”：“e_1_ 3_2_15_1”，”DOI“：”10.1145\/2491956.2462165“}，”DOI-assert-by“：”publisher“，”key“：”e_1_a_2_16_1 3_2_1_17_1“，“DOI”：“10.1145\/335169.335201”}，{“DOI-asserted-by”：“publisher”，“key”：“e_1_3_2_18_1“，”DOI“：”10.1145\/24039.24041“}，{“DOI-asserted-by”：“publisher”，“key”：“e_1_ 3_2_19_1”，”DOI:“10.1016\/0304-3975（91）90299-H”}，”DOI-assert-by“：”publisher“，“：”e_1_3_2_1_21_1“，”DOI“：”10.1145\/77607608“}，{”DOI-asserted-by“：”publisher“，”key“：”e_1_3_2_1_22_1“，”DOI“：”10.5555\/153676“}，{”DOI-asserted-by“：”publisher“，”key“：”e_1_m2_2_23_1“，“DOI”：“10.1145\/202176.202184”}，“DOI-assert-by”：“publisher”，“key”：“e_1_3_2_1_24_1”，”DOI:“10.1007\/978-3642-11486-1_16”}3_2_1_25_1“，“DOI”：“10.1145\/231379.231407”}，{“DOI-asserted-by”：“publisher”，“key”：“e_1_3_2_1_26_1“，“DOI”：“10.1145\/2450136.2450139”}，{“DOI-asserted-by”：“publisher”，“key”：“e_1_ 3_2_1_2 7_1”，”DOI“：”10.1007\/s10009-010-0158-6“}，“DOI-aserted-by“：”publisher“，”key“：”e_1_a_2_1_28_1“_2_1_29_1“，“DOI”：“10.1145\/215465.215469”}，{“DOI-asserted-by”：“publisher”，“key”：“e_1_3_2_1_30_1“，”DOI“：”10.1002\/1097-024X（200101）31:1%3C67:：AID-SPE357%3E3.0.CO；2-A“｝，｛”卷标题“：“计算机语言”，“年份”：“1998”，“作者”：“No \u00a8el F.”，“非结构化”：“F.No \u00a8el，L.Hornof，C.Consel和J.Lawall。基于模板的自动运行时专业化：实现和实验研究。《计算机语言》，1998。F.No \u00a8el，L.Hornof，C.Consel和J。劳尔。基于模板的自动运行时专门化：实现和实验研究。《计算机语言》，1998年。“，”key“：”e_1_3_2_1_31_1“}，{”volume-title“：”通过图形可达性进行程序分析。Inf.和Softw.Tech.，40（11\u201312）“，”year“：”1998“，”author“：”Reps T.“，”unstructured“：”T.Reps.通过图可达性进行的程序分析。通过图形可达性进行程序分析。信息和软件。Tech.，40（11\u201312），1998.“，”key“：”e_1_3_2_1_32_1“}，”doi-asserted-by“：”publisher“，”key“：“e_1_ 3_2_1_1_33_1”，”doi“：”10.1145\/193173.195287“}”，{“doi-assert-by”：“publisher”，“key”：“e_ 1_3_2 _1_34_1”、“doi”：“10.1145\/2594291.2594316”}，{”doi-sserted-by：“publicher”，“key”：“e_1_3_2_1_35_1”，“doi”：“10.1145\/1387830.1387837”}，{“doi-asserted-by”：“publisher”key“：”e_1_3_2_1_36_1“，”DOI“：”10.1145\/2451116.2451150“}，{“DOI-asserted-by”：“publisher”，“key”：“e_1_ 3_2_1_1_37_1”，”DOI:“10.1145\/77859.778561”}，“DOI-sserted-by“：”publisher“，“：”e_1_3_2_1_39_1“，”DOI“：”10.1109\/SP.2009.27“}，{”volume-title“：”ATC“，”年份“：”2012“，”作者：“Slowinska A.”，“非结构化”：“A.Slowinsca，T.Stancescu和H.Bos。二进制代码的防身甲：在不重新编译的情况下防止缓冲区溢出。ATC，2012年。A.Slowinska、T.Stancescu和H.Bos。二进制代码的防身甲：在不重新编译的情况下防止缓冲区溢出。在ATC，2012.”，“key”：“e_1_3_2_1_40_1”}，{“doi由”断言：“publisher”，“key”：“e_1_3_2_41_1”，“doi”：“10.1007\/978-3-540-89862-7_1”}，{“nonstructured”：“pdf.pdf.”，“key”：“e_1_3_2_1_43_1”}，{“doi由”断言：“publisher”，“key”：“e_1_3_2_1_44_1”，“doi”：“10.1145\/2737924.2737960”}，{“doi由”断言：“publisher”“，”键“：”e_1_3_2_1_45_1“，”doi“：”10.1109\/TSE.1984.5010248“}，{”doi-asserted-by“：”publisher“，”key“：”e_1_3_2_1_46_1“，“doi”：“10.1109\/SP.2015.47”}]，“event”：{“supportor”：[“SIGPLAN ACM编程语言特别兴趣小组”]，“缩写词”：“SPLASH‘15”，“name”：“SASH‘15:系统、编程、语言和应用会议：人性化软件”，“location”：“匹兹堡PA USA“}，“container-title”：[“2015 ACM SIGPLAN面向对象编程、系统、语言和应用国际会议论文集”]，“original-title“：[]，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2814270.2814321“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”联合“}，{”URL“：”https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2814270.2814321“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”相似性检查“}]，”存放“：{”日期部分“：[[2023,9,4]]，”日期时间“：”2023-09-04T18:29:24Z“，”时间戳“：1693852164000}，”分数“：1，”资源“primary“：{”URL“：”https:\/\/dl.acm.org\/doi\/10.1145\/2814270.2814321“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2015,10,23]]}，“引用计数”：44，”替代id“：[”10.1145\/281470.2814321{“is-idential-to”：[{“id-type”：“doi”，“id”：“10.1145\/2858965.2814321”，“断言者：“：”object“}]}，“subject”：[]，“published”：{“date-parts”：[[2015,10,23]]}、“assertion”：[{“value”：“2015-10-23”，“order”：2，“name”：“published.”，“label”：“published”，“group”：{name：“publication_history”，“标签”：“publication history”}}]}}