×

活变量分析的一些算法的比较。 (英语) Zbl 0428.68053号

MSC公司:

65年第68季度 算法和问题复杂性分析
60年第68季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Allen F.E.,IBM Res.Rep.RC 3923(1972)
[2] Graham S.L.,JACM 23(1)第172页–(1976)·Zbl 0326.68023号 ·数字对象标识代码:10.1145/321921.321939
[3] Hecht M.S.,SIAM J.Compute 4(4)pp 519–(1975)·Zbl 0329.68039号 ·doi:10.1137/0204044
[4] Hecht M.S.,计算机程序流分析(1977)·Zbl 0381.68013号
[5] Kennedy K.,《国际比较杂志》。数学3第5页–(1971)·Zbl 0265.68011号 ·doi:10.1080/0207167108803048
[6] Kennedy K.、SIAM J.计算5(1)第158页–(1976)·Zbl 0338.68026号 ·数字对象标识代码:10.1137/0205014
[7] Kennedy,K.将节点列表应用于数据流分析。第二届AC M程序设计语言原理研讨会会议纪要。第10–21页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。