{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,8,25]]，“日期时间”：“2023-08-25T21:26:39Z”，“时间戳”：1692998799283}，“出版商位置”：“柏林，海德堡”，“参考计数”：26，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”value“9783540230250”，“类型”：“打印”}，{“值”：“9783540301400”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-30140-0_60“，”type“：”book-chapter“，”created“：”{“date-part”：[2010,9,19]]，“date-time”：“2010-09-19T01:31:13”Z“，”时间戳“：1284859873000}，”页面“：”677-688“，“source”：“Crossref”，“is-referenced-by-count”：9，“title”：[“Finding Dominators in Practice”]，“prefix”：“10.1007”，”author“：[{”given“：”Loukas“，”family“：”Georgiadis“，”sequence“：”first“，”affiliation“：[]}，{“given”：”Renato F.“，“附加”，“affiliation”：[]}，{“given”：“Spyridon”，“family”：“Triantafylis”，“sequence”：“additional”，“affaliation”:[]}.，{”given“：”David I.“，”family“：”August“，”sequence“：”additional“，”affiliance“：[]]}]，“member”：“297”，“reference”：[{“key”：”60_CR1“，“unstructured”：“The IMPACT compiler，http://www.crhc.uiuc.edu\/IMPACT”}，{“key”：“60_CR2”，“非结构化”：“The Standard Performance Evaluation Corp.，http://www.spec.org\/”}，{“key”：“60_CR3”，“volume-title”：“Compilers:Principles，Techniques，and Tools”，“author”：“V.Aho”，“year”：“1986”，“unstructured”：“Aho，V.，Sethi，R.，Ullman，J.D.：Compilers:Principlements，Technologies，and Tools.Addison-Wesley，Reading（1986）”}：“编译器设计原理”，“作者”：“V.Aho”，“年份”：“1977”，“非结构化”：“Aho，V.，Ullman，J.D.：编译器设计原理。Addison Wesley，Reading（1977）”}，｛“key”：“60_CR5”，“非结构化”：“Allen，F.E.，Cocke，J.：程序控制流分析的图论结构。技术报告IBM Res.R.Rep.RC 3923，IBM T.J。Watson Research Center（1972）“}，{”issue“：”6“，”key“：”60_CR6“，“doi-asserted-by”：“publisher”，“first page”：“2117”，“doi”：“10.1137\/S0097539797917263”，“volume”：”28“，“author”：“S.Alstrup”，“year”：“1999”，“unstructured”：“Alstrup，S.，Harel，D.，Lauridsen，P.W.，Thorup，M.：线性时间的支配者。SIAM Journal on Computing \u00a028（6），2117\u20132132（1999）“，“journal-title”：“SIAM journal on Computing”}，{“key”：“60_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Amyeen，M.E.，Fuchs，W.K.，Pomeranz，I.，Boppana，V.：使用冗余信息和静态和动态提取进行故障等价性识别。In:第19届IEEE VLSI测试研讨会论文集（2001年3月）”，“DOI“：”10.1109\/VTS.2001.923428“}，{“issue”：“6”，“key”：“60_CR8”，“DOI-asserted-by”：“crossref”，“first-page”：“1265”，“DOI”：“10.1145\/295656.295663”，“volume”：”20“，“author”：“L.Buchsbaum”，“year”：“1998”，“unstructured”：“Buchsbaum，L.，Kaplan，H.，Rogers，A.，Westbrook，J.R.：一种新的、更简单的线性时间支配算法。《美国计算机学会编程语言和系统学报》\u00a020（6），1265\u20131296（1998）出现的勘误“，”期刊标题“：”《美国计算机协会编程语言与系统学报》“}，{“key”：“60_CR9”，“unstructured”：“库珀，K.D.，哈维，T.J.，肯尼迪，K.：一种简单、快速的支配算法。在线获取地址：http://www.cs.rice.edu\/~keith\/EMBED\/dom.pdf“}，{”issue“：”4“，”key“：”60_CR10“，”doi-asserted-by“：”publisher“，”first-page“：”451“，”doi“：”10.1145\/11532.115320“，”volume“：“13”，”author“：”R.Cytron“，“year”：“1991”，”unstructured“：”Cytron，R.，Ferrante，J.，Rosen，B.K.，Wegman，M.N.，Zadeck，F.K.：高效计算静态单一赋值形式和控制依赖图。《美国计算机学会编程语言与系统学报》\u00a013（4），451\u2013490（1991）“，”期刊标题“：”《美国计算机协会编程语言和系统学报》“}，{”key“：”60_CR11“，”非结构化“：”Gabow，H.N.：带链接的加权匹配和最近共同祖先的数据结构。收录：第一届ACM-SIAM离散算法年会论文集，第434\u2013443（1990）页“}，{“key”：“60_CR12”，“unstructured”：“Georgiadis，L.，Tarjan，R.E.：《重新审视支配者》。收录：第十五届ACM-SAAM离散算法交响曲，第862\u2013871（2004）页“{“issue”：“3”，“key“：”60_CR13“，“doi-asserted-by”：“publisher”，“第一页“：“367”，“DOI”：“10.1145”，“volume”：“21”，“author”：“M.S.Hecht”，“year”：“1974”，“unstructured”：“Hecht，M.S.，Ullman，J.D.：可约化流图的特征。ACM\u00a021（3），367\u2013375（1974）“，”Journal-title“：”Journal of the ACM“}，{”key“：”60_CR14“，”unstructured“：”Holloway，G.，Young，C.：机器SUIF的流分析和转换库。In:Proceedings of the 2nd SUIF Compiler Workshop（1997）“}”，{“key”：“60_CR15”，“doi-asserted-by”：“publisher”，“first page”：”158“，“doi”：“10.1145\/321921.321938“，“卷”：“23”，“作者”：“J.B.Kam”，“年份”：“1976”，“非结构化”：“Kam，J.B.，Ullman，J.D.：全球数据流分析和迭代算法。Journal of the ACM\u00a023，158\u2013171（1976）“，”Journal-title“：”Journal for the ACM“}，{“key”：“60_CR16”，“doi-asserted-by”：“publisher”，“first page”：”105“，”doi“：”10.1002\/spe.4380010203“，”volume“：”1“，”author“：”D.E.Knuth“，”year“：”1971“，“unstructured”：“Knuth，D.E.：FORTRAN程序的实证研究。软件实践与体验\u00a01，105\u2013133（1971）“，”杂志标题“：”软件实践与经验“}，{“问题”：“1”，“关键”：“60_CR17”，“doi-asserted-by”：“出版商”，“首页”：“121”，“doi”：“10.1145\/357062.357071”，”卷“：”1“作者”：“T.Lengauer”，“年份”：“1979”，“非结构化”：“Lengauer，T.，Tarjan，R.E.：在流程图中查找支配者的快速算法。《美国计算机学会程序设计语言和系统学报》\u00a01（1），121\u2013141（1979）“，”journal-title“：”《美国计算机协会程序设计语言与系统学报》“}，{“issue”：“8”，“key”：“60_CR18”，”doi-asserted-by“：”publisher“，”first page“：”777“，”doi“：”10.1145\/361532.361566“，”volume“15”，“author”：“P.W.Purdom Jr.”，“year”：“1972”，“unstructured”：“Purdom Jr.，P.W.，Moore，E.F.：算法430：有向图中的直接支配因子。ACM\u00a015（8），777\u2013778（1972）“，“journal-title”：“ACM的通信”}，{“key”：“60_CR19”，“doi-asserted-by”：“crossref”，“unstructured”：“Ramalingam，G.，Reps，T.：维护可约流程图支配树的增量算法。摘自：第21届ACM SIGPLANSIGACT编程语言原理研讨会论文集，第287\u2013296页（1994）“，“DOI”：“10.1145\/174675.177905”}，{“key”：“60_CR20”，“DOI-asserted-by”：“crossref”，“unstructured”：“Sharir，M.：结构分析：优化编译器中的流分析新方法，第100a05卷，第141\u2013153页（1980）”，“DOI:”10.1016\/0096-0551（80）90007-7“}，{“key”：“60_CR21”，“doi-asserted-by”：“publisher”，“first page”：”362“，“doi”：“10.1016\/0022-0000（83）90006-5”，“volume”：：“26”，“author”：“D.D.Sleator”，“year”：“1983”，“unstructured”：“Sleator，D.D.，Tarjan，R.E.：动态树的数据结构。计算机与系统科学杂志\u00a026，362\u2013391（1983））“，”journal-title“：《计算机与系统科学杂志》}，{“key”：“60_CR22”，“doi-asserted-by”：“crossref”，“unstructured”：“Sweny，P.H.，Beaty，S.J.：Dominator-path scheduling:A global scheduling method.In:Proceedings of the 25th International Symposium on Microarchitecture，pp.260\u2013263（1992）”，“doi”：“10.1109\/MICRO.1992.697028”}，“issue”：“1”，“key”：“60_CR23”，“doi asserted by”：“publisher”，“first page”：“62”，“doi”：“10.1137\/02003006”，“volume”：“3”，“author”：“R.E.Tarjan”，“year”：“1974”，“nonstructured”：“Tarjan，R.E.：在有向图中寻找支配者。SIAM计算期刊\u00a03（1），62\u201389（1974）”，“期刊标题”：“SIAM计算期刊”}，｛“问题”：“4”，“密钥”：“60_CR24”，“doi断言”：“出版商”，“第一页”：“690”，“doi”：“10.1145\/32154.322161”，“卷”：“26”，“作者”：“R.E.Tarjan”，“年份”：“1979”，“非结构化”：“Tarjan，R.E.：路径压缩在平衡树上的应用。ACM\u00a026（4），690\u2013715（1979）“，”Journal-title“：”Journal of the ACM“}，{”issue“：”2“，”key“：”60_CR25“，”doi-asserted-by“：”publisher“，”first-page“：”245“，”doi“：”10.1145\/62.2160“，”volume“：“31”，”author“：”R.E.Tarjan“，”year“：”1984“，”unstructured“：”Tarjan，R.E.，van Leeuwen，J.：集合联合算法的最坏情况分析。ACM\u00a031（2），245\u2013281（1984）“，”Journal-title“：”Journal of the ACM“}，{”key“：”60_CR26“，”unstructured“：”the CAD Benchmarking Lab，North Carolina State University。ISCAS 1989 benchmark information，http://www.cbl.ncsu.edu \/www \/cbl_Docs\/iscas89.html“}]，”container-title”：[“Algorithms \u2013 ESA 2004”，“计算机科学课堂讲稿“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-30140-0_60.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2020,11,19]]，”date-time“：“2020-11-19T04:41Z”，“timestamp“：1605761081000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com/10.1007\/978-3-540-30140-0_60“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2004]]}，《ISBN》：[“9783540230250”，“9783510301400”]，“references-count”：26，“URL”：“http://\/dx.doi”。org\/10.1007\/978-3-540-30140-0_60“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”issn-type“：[{”value“：”0302-9743“，”type“:”print“}，{”value“：”1611-3399“，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[2004]]}}}