{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,31]]，“日期-时间”：“2024-05-31T15:15:31Z”，“时间戳”：1717168531732}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：51，“发布商”：“ACM”，“许可证”：[{“开始”：{-“日期-零件”：[2018,9,3]]，“date-time”：“2018-09-03T00:00:00Z”，“时间戳”：1535932800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“content-domain”：{“domain”:[“dl.acm.org”]，“crossmark-restriction”：true}，”short-container-title“：[]，”published-print“：{”date-parts“：[2018,9,3]]}”，“DOI”：“10.1145\/3236950.3236956“，”类型“：”进程-项目“，“created”：｛“date parts”：[[2018,8,14]]，“date time”：“2018-08-14T12:09:54Z”，“timestamp”：1534248594000｝，“update policy”：“http:\/\/dx.doi.org/10.1145\/crosmark policy”，“source”：“Crossref”，“由count引用”：13，“title”：[“JavaScript的符号执行”]，“prefix”：“10.1145”，“author”：[｛“given”：“Jos\u00e9 Fragoso”，“family”：“Santos”，“sequence”：“first”，“affiliation”：[{“name”：“Imperial College London，UK”}]}，{“given”：“Petar”，“family”：“Maksimovi\u0107”，“sequence”：“additional”，“abfiliation（附属）”：[}“name（名称）”：“Emperial Colege Lond，UK，Mathematical Institute SASA，Serbia”}]neneneep，{（给定）：“Th\u00e9otime”，“家族”：“Grohens”，“sequence”（序列）：“addressive”，“filiation“[{”name“：“ENS Paris，Fra}，{“给定”：“Julian”，“family”：“Dolby”，“sequence”：“additional”，“affiliation”：[{“name”：“IBM Research，New York，USA”}]}，{“given”：“Philippa”，“家族”：“Gardner”，“序列”：“附加”，“从属关系”：[[{”name“：“Imperial College London，UK”}]]，“member”：“320”，“published on”：{“date-parts”：[[2018,9,3]]}、“reference”：[}“key”e1_3_2_1_1_1“，”doi-asserted-by“：“publisher”，“DOI”：“10.5555\/3220903.3221139”}，{“key”：“e_1_3_2_1_1”，”DOI-asserted-by“：”publisher I“：”10.1145\/2660193.2660214“}，{“key”：“e_1_3_2_1_5_1”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1145\/3182657”}，{“key”：“e_1_3_2_1_6_1”，“DOI-asserted-by”：“publisher”，DOI：“10.1007\/11804192_6”}“10.1007\/978-3662-44202-9_11”}，{“键”：“e_1_3_2_1_9_1”，“DOI-asserted-by”：“出版商”，“DOI”：“10.1016\/j.entcs.2009.09.057”}，{“key”：“e_1_3_2_10_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/566171.566191“}，”{“密钥”：“e_1_3_2_11_1”，”doi-assert-by“：”publisher：“推断：C程序记忆安全的自动程序验证程序。美国国家航空航天局形式方法第三届国际研讨会，2011年4月18日至20日，美国加利福尼亚州帕萨迪纳，NFM 2011。诉讼程序。459-465“，“author”：“Calcagno C.”，“unstructured”：“C.Calcadno and D.Distefano”。2011 . 推断：C程序内存安全的自动程序验证程序。2011年4月18日至20日在美国加利福尼亚州帕萨迪纳举行的2011年美国国家航空航天局正式方法第三届国际研讨会上。诉讼程序。459--465 . C.Calcagno和D.Distefano。2011.推断：C程序内存安全的自动程序验证程序。2011年4月18日至20日在美国加利福尼亚州帕萨迪纳举行的2011年美国国家航空航天局正式方法第三届国际研讨会上。诉讼程序。459-465.“}，{”key“：”e_1_3_2_13_1“，”doi-asserted-by“：”crossref“，“unstructured”：“K.Claessen J.Dureg\u00e5rd和M.H.Palka.2015。生成具有均匀分布的约束随机数据。J.功能。程序。25 (2015). K.Claessen J.Dureg\u00e5rd和M.H.Palka。2015.生成均匀分布的约束随机数据。J.功能。程序。25 (2015).“，”DOI“：”10.1017\/S0956796815000143“}，{”key“：”e_1_3_2_14_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1145\/351240.351266”}，“key”：“e_1_ 3_2_1_15_1”，“DOI-assert-by”：“publisher”，”DOI:“10.1007\/978-3-540-89439-1_1_13”}“，{“key“:”e_3_2_2_16_1“、”DOI-sserted-by“：”publisher“，”DOI“：”10.1145\/2983990.2984027“}，{“key”：“e_1_3_2_17_1”，“DOI-asserted-by”：“publisher“，”DOI“：”10.1145\/1287624.1287653“}，{“key”：“e_1_3_2_18_1”，“volume-title”：“The”，“author”：“ECMA”，“unstructured”：“ECMA TC39。2011年，ECMAScript语言规范第5版。技术报告。欧洲货币管理局。ECMA TC39。2011年，ECMAScript语言规范第5版。技术报告。欧洲货币管理局。“，”edition“：”5“}，{”key“：”e_1_3_2_1_19_1“，”unstructured“：”ECMA TC39。2017.Test262测试套件。https:\/\/github.com//tc39\/test262。ECMA TC39。2017.Test262测试套件。https:\/\/github.com/tc39\/test262.“}，{”key“：”e_1_3_2_1_20_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2660193.2660215”}，“key”：“e_1_3_2_1_21_1”，“volume-title”：“2013年第35届国际软件工程会议（ICSE）。IEEE，752-761”，”author“：”Feldhaus A.“，”unstructured“：”A.Feldhauss，M.Sch\u00e 4fer，M.Sridharan，J。杜比和F.蒂普。2013.高效构建JavaScript IDE服务的近似调用图。2013年，第35届国际软件工程会议（ICSE）。IEEE，752--761。A.Feldthaus、M.Sch\u00e4fer、M.Sridharan、J.Dolby和F.Tip。2013.高效构建JavaScriptIDE服务的近似调用图。2013年，第35届国际软件工程会议（ICSE）。IEEE，752--761.“}，{”key“：”e_1_3_2_1_22_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/3158138“}”，{“key”：”e_ 1_3_2 _1_23_1“，“doi-assert-by”：“publisher”，“doi”：“10.1145\/2103656.2103663”}，“key“”：”e_1_3_2_1_24_1“Philippearts F.Vogels W.Penninckx和F.Piessens，2011年。VeriFast：针对C和Java的强大的声音可预测快速验证器。在NASA正式方法中。施普林格41-55。B.Jacobs J.Smans P.Philippearts F.Vogels W.Penninkx和F.Piessens。2011年，VeriFast：针对C和Java的强大声音可预测快速验证器。在NASA正式方法中。Springer 41-55.“，”DOI“：”10.1007\/978-3642-20398-5_4“}，{“key”：“e_1_3_2_1_25_1”，“DOI-asserted-by”：“publisher”，”DOI:“10.1145\/1529282.1529711”}，“key“：”e_1_ 3_2_1_2 _26_1“，”DOI-assert-by“：”publisher“，非结构化”：J.Jones，2016年。优先级队列数据结构。https:\/\/github.com/jasonsjones \/queue-pri.J.Jones。2016.优先级队列数据结构。https:\/\/github.com/jasonsjones \/queue-pri.“}，{”key“：”e_1_3_2_1_28_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/2635868.2635904”}，“key”：“e_1_3_2_1_29_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/1127878.1127884“}”，{“：”publisher“，”doi“：”10.1145\/2635868.2635913“}，{”key“：”e_1_3_2_1_32_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/ICSE.2007.48“}，{”key“：”e_1_3_2_1_33_1“，“doi-assert-by”：“publisher”，“doi”：“10.5555\/1787526.1787545”}，“key”：“e_1_3_1_34_1”，”unstructured“：”npm.2018。npm是javascript的包管理器。https:\/\/www.npmjs.com.npm。2018年。npm是javascript的包管理器。https:\/\/www.npmjs.com.“}，{”key“：”e_1_3_2_1_35_1“，”unstructured“：”昌河公园和苏京琉。2015。通过循环敏感性对JavaScript应用程序进行可扩展和精确的静态分析。在ECOOP中。735--756. 昌河公园和苏京琉。2015.通过循环敏感性对JavaScript应用程序进行可扩展和精确的静态分析。在ECOOP中。735--756.“｝，｛“key”：“e_1_3_2_1_36_1”，“doi由”断言：“publisher”，“doi”：“10.1145\/2737924.2737991”｝，｛“key”：“e_1_3_2_1_37_1”，“非结构化”：“Racket.2017。Racket编程语言。frack-lang.org。球拍。2017.Racket编程语言。frack-lang.org。“}，{”key“：”e_1_3_2_1_38_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/2676726.2676971”}，“key”：“e_1_ 3_2_1_39_1”，“volume-title”：“分离逻辑：共享可变数据结构的逻辑。在LICS中”，“author”：“Reynolds C.”，“year”：“2002”，“unstructured”：“John C.”。雷诺兹。2002 . 分离逻辑：共享可变数据结构的逻辑。在LICS中。约翰·C·雷诺兹。2002.分离逻辑：共享可变数据结构的逻辑。在LICS中。“}，{”key“：”e_1_3_2_1_40_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1411286.1411292”}“，{“key”：“e_1_a_2_1_41_1”，“unstructured”：“M.Santos.2016。Buckets-JS：JavaScript数据结构库。https:\/\/github.com\/mauricionatos\/Backets JS。M.桑托斯。2016.Buckets-JS:JavaScript数据结构库。https:\/\/github.com/mauriciosatos\/Buckets-JS。“}，{”key“：”e_1_3_2_1_42_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/SP.2010.38”}，“key”：“e_1_a_2_1_43_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007\/978-3662-466-8_33“}“}，{”key“：”e_1_3_2_1_45_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-31057-7_20“}，{“key”：“e_1_3_2_1_46_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/2491956.2491978“}”，{”key“：”e_1_a_2_1_47_1“，”doi-assert-by“：”publisher“，doi“：”10.1145\/2509578.2509586“}，{“key”：“e_1_3_2_1_49_1”，“doi-asserted-by”：“publisher“，”DOI“：”10.1145\/2594291.2594340“}，{“key”：“e_1_3_2_1_50_1”，“DOI-asserted-by”：“publisher”，”DOI:“10.1145\/1863543.1863553”}，“{”key“：”e_1_a_2_1_51_1“，“volume-title”：“Web Technology Surveys”，“year”：“2017”，“unstructured”：“W3Techs:网络技术调查。2017 . 网站使用JavaScript。https:\/\/w3techs.com/technologies\/details\/cp-javascript\/all\/all。W3Techs:网络技术调查。2017.网站使用JavaScript。https:\/\/w3techs.com/technologies\/details\/cp-javascript\/all\/all。“}，{”key“：”e_1_3_2_1_52_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/ICSE.2017.30”}]，“event”：{”name“：”PPDP'18:第20届声明性编程原理与实践国际研讨会“，”location“：”Frankfurt am Main Germany“，”缩写词“PPDP'18”，“sposponsor”：[“SIGPLAN ACM编程语言特别兴趣小组”，“歌德大学歌德大学法兰克福分校“]}，“container-title”：[“第20届声明性编程原理与实践国际研讨会论文集”]，“original-title“：[]，“link”：[{“URL”：“https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236950.3236956”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“相似性检查“｝”，“deposited”：｛“date parts”：[[2023,1,14]]，“date time”：“2023-01-14T22:38:49Z”，“timestamp”：1673735929000｝，“score”：1，“resource”：｛“primary”：｛“URL”：“https:\/\/dl.acm.org/doi\/10.1145\/326950.3236956”｝，“subtitle”：[]，“short title”：[]，“issued”：｛“date parts”：[[2018,9,3]]｝，“references count”：51，“备选id“：[”10.1145\/3236950.3236956“，”10.1145\/23236950“]，”URL“：”http://\/dx.doi.org\/10.1145\/32367950.3236956“，”关系“：{}，”主题“：[]，”发布“：{”日期-部分“：[[2018,9,3]]}，“断言”：[{“值”：“2018-09-03”，“顺序”：2，“名称”：“发布”，“标签”：“已发布”，”组“：{”名称“：”publication_history“，“标签”：“出版物历史”}}]}}