{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T19:49:41Z”，“时间戳”：1725565781971}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783540 227915“}，{”类型“：“电子”，“值”：“9783540278641”}]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“已出版的印刷品”：｛“日期部分”：[[2004]]｝，“DOI”：“10.1007\/978-3-540-27864-1_17”，“类型”：“书籍章节”，“已创建”：｛“日期部分”：[[2010,9,16]]，“日期时间”：“2010-09-16T16:35:37Z”，“时间戳”：1284654937000｝，“页面”：“212-2222 7英寸，“source”：“Crossref”，“is-referenced-by-count”：30，“title”：[“A Polynomial-Time Algorithm for Global Value Numbering”]，“prefix”：“10.1007”，”author“：[{”given“：”Sumit“，”family“：”Gulwani“，”sequence“：”first“，”affiliation“：[]}，{“given”：”George C.：“17_CR1”，“doi-asserted-by”：“publisher”，“first page”：“1”，“doi”：“10.1145\/7350.73561”，“volume-title”：“第十五届美国计算机学会编程语言原理研讨会”，“author”：“B.Alpern”，“year”：“1988”，“unstructured”：“Alpern，B.，Wegman，M.N.，Zadeck，F.K.：检测程序中变量的相等性。摘自：第15届美国计算机学会编程语言原理研讨会，第1\u201311页。ACM，New York（1988）“}，{“key”：“17_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Click，C.：全局代码运动//全局值编号。In：1995年6月ACM SIGPLAN 1995编程语言设计与实现会议的进程，第246\u2013257（1995）页”，“doi”：“10.1145\/223428.207154”}，}，“key“：”17_CR3“，”doi-assert-by“：”crossref“，”unstructured“：”Cousot，P.，Coosot，R.：抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。摘自：第四届美国计算机学会编程语言原理年会，第234\u2013252（1977）页“，”DOI“：”10.1145\/512950.512973“}，{“问题”：“4”，“关键”：“17_CR4”，”DOI-asserted-by“：”publisher“，“第一页”：“451”，“DOI”：“10.1145\/11532.115320”，“卷”：“13”，“作者”：“R.Cytron”，“年份”：“1990”，“非结构化”：“Cytron，R.，Ferrante，J.，Rosen，B.K.，Wegman，M.N.，Zadeck，F.K.：高效计算静态单一赋值形式和控制依赖图。ACM程序设计语言与系统汇刊\u00a013（4），451\u2013490（1990）“，”期刊标题“：”ACM程序设计语言与系统汇刊“}，｛”key“：”17_CR5“，”doi asserted by“：”publisher“，”首页“：”45“，”doi“：”10.1145\/5125529.512536“，”卷标题“：”《2002年ACM SIGPLAN编程语言设计与实现会议论文集》，“作者”：“K.Gargi”，“年份”：“2002年”，“非结构化”：“Gargi，K.：谓词全局值编号的稀疏算法。收录于：《ACM SIGPLAN 2002年编程语言设计和实现会议论文录》，6月17日至19日，第u00a037（5）卷，第45页\u201356。ACM Press，New York（2002）“}，{“volume-title”：“第31届ACM POPL年会”，“year”：“2004”，“author”：“S.Gulwani”，“key”：“17_CR6”，“unstructured”：“Gulwani，S.，Necula，G.C.：使用随机解释的全局值编号。In:第31届APL年会，2004年1月，ACM，New York（2004）”}非结构化”：“Kildall，G.A.：全局程序优化的统一方法。在：第一届ACM编程语言原理研讨会，1973年10月，第194\u2013206（1973）页“，”DOI“：”10.1145\/512927.512945“}，{”volume-title“：”高级编译器设计与实现“，”year“：”2000“，”author“：”S.S.Muchnick“，”key“：”17_CR8“，”unstructured“：”Muchnick，S.S.：高级编译器设计与实现。Morgan Kaufmann，San Francisco（2000）“}，{“key”：“17_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Necula，G.C.：优化编译器的翻译验证。摘自：ACM SIGPLAN\u201900编程语言设计与实现会议论文集，2000年6月。ACM SIGPLAN，pp.83\u201394（2000）“，“DOI”：“10.1145\/349299.349314”}，{“key”：“17_CR10”，“series-title”：“计算机科学课堂讲稿”，“DOI-asserted-by”：“publisher”，“first page”：”151“，“DOI”：”10.1007\/BFb0054170“，“volume-title”：”系统构建和分析的工具和算法“，”author“：”A.Pnueli“，”年份：“1998”，“非结构化”：“Pnueli，A.，Siegel，M.，Singerman，E.：翻译验证。收录：Steffen，B.（编辑）TACAS 1998。LNCS，卷\u00a01384，第151\u2013166页。Springer，Heidelberg（1998）“}，{”key“：“17_CR11”，”doi-asserted-by“：”publisher“，”first page“：”12“，”doi“：”10.1145\/7350.73562“，”volume-title“：”第十五届ACM编程语言原理研讨会“，”author“：”B.K.Rosen“，”year“：”1988“，”unstructured“：”Rosen，B.K.、Wegman，M.N.、Zadeck，F.K.：全球值数字和冗余计算。摘自：第15届美国计算机学会编程语言原理年会，第12\u201327页。ACM，New York（1988）“}，{”key“：”17_CR12“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“232”，”doi“：”10.1007\/3-540-48294-6_15“，”volume-title“：“静态分析”，”author“：”O.R\u00fcthing“，”year“：”1999“，”unstructured“：”R\u00fching，O.，Knoop，J.，Steffen，B.：检测变量的等式：效率与精度的结合。收录：Cortesi，A.，Fil\u00e9，G.（eds.）SAS 1999。LNCS，卷\u00a01694，第232\u2013247页。Springer，Heidelberg（1999）“}，{”issue“：”2“，”key“：”17_CR13“，”doi-asserted-by“：”publisher“，”first page“：“181”，“doi”：“10.1145\/103135.103136”，“volume”：“13”，“author”：“M.N.Wegman”，“year”：“1991”，“unstructured”：“Wegman，M.N.，Zadeck，F.K.：带条件分支的常数传播。《美国计算机学会编程语言与系统学报》\u00a013（2），181\u2013210（1991）”，“期刊标题”：“ACM程序设计语言与系统汇刊”}]，“容器标题”：[“计算机科学讲义”，“静态分析”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-540-27864-1_17.pdf”，“内容类型”：“未指定”，“内容版本”：“vor”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,11,19]]，”date-time“：”2020-11-19T04:24:40Z“，”timestamp“：1605759880000}，”score“：1，”resource“：{primary”：{“URL”：“http://\link.sprimary.com\/10007\/978-3-540-27864-1_17”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[2004]]}，“ISBN”：[“9783540227915”，“9783540278641“]，”references-count“：13，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-27864-1_17“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“类型”：“electronic”，“value”：”1611-349“}]，“subject”：[]，“published”：{“date”parts“：[2004]]}}}