摘要
{Allen70}Allen，F.E.，控制流分析。 SIGPLAN通知， 1970年7月。]] 谷歌学者 
数字图书馆 
{Allen83}Allen，J.R.，下标变量的依赖性分析及其在程序转换中的应用。 由德克萨斯州休斯顿莱斯大学计算机科学系出版，1983年4月。]] 谷歌学者 数字图书馆 {Banerjee79}美国Banerjee，《普通程序的加速》。 伊利诺伊大学香槟分校出版，1979年10月，DCS报告编号UIUCDCS-R-79-989。]] 谷歌学者 {伯克84}伯克，M.，《程序间分析的区间方法》。 IBM出版，1984年7月，RC 10640#47724。]] 谷歌学者 {Chaitin81}Chaitin，G.J.，Auslander，M.A.，Chandra，A.K.，Cock，J.，Hopkins，M.E.，Markstein，P.W.，通过着色进行寄存器分配。 计算机语言， 1981年，第6卷，第47-57页。]] 谷歌学者 数字图书馆 {Chaitin82}Chaitin，G.J.，通过图着色进行寄存器分配和溢出。 SIGPLAN’82编译器构建研讨会会议记录， 1982年6月，第98-105页。]] 谷歌学者 数字图书馆 {Cooper83}Cooper，K.D.，编程环境中的跨过程数据流分析。 由德克萨斯州休斯顿莱斯大学数学科学系出版，1983年。]] 谷歌学者 数字图书馆 {Ferrante83}Ferrante，J.，Ottenstein，K.J.，基于谓词区域中数据依赖的程序形式。 第十届ACM程序设计语言原理年度研讨会会议记录 1983年1月。]] 谷歌学者 数字图书馆 {Ferrante84}Ferrante，J.，Warren，J.D.，程序依赖图及其在优化中的应用。 Springer-Verlag出版 计算机科学课堂讲稿 ，1984年，第125-132页。]] 谷歌学者 数字图书馆 {Ferrante85}Ferrante，J.，Mace，M.，《关于线性化并行代码》， 第十二届ACM编程语言原理研讨会会议记录 1985年1月。]] 谷歌学者 数字图书馆 {Graham76}Graham，S.L.，Wegman，M.，全球流量分析的快速且通常为线性算法。 美国医学会杂志， 1976年1月，第23卷，第1期，第172--202页。]] 谷歌学者 数字图书馆 {Lowry69}Lowry，E.S.，Medlock，C.W.，目标代码优化。 ACM通信， 1969年，第12卷，第1期，第13-22页。]] 谷歌学者 数字图书馆 {Morel79}Morel，E.，Renviose，C.，通过抑制部分冗余进行全局优化。 ACM通信， 1979年2月，第22卷，第2期，第96-103页。]] 谷歌学者 数字图书馆 {Myers81}Myers，E.W.，一种精确的过程间数据流算法。 第八届美国计算机学会编程语言原理年会， 1981年1月，第219--230页。]] 谷歌学者 数字图书馆 {Reif77}Reif，J.H.，Lewis，H.R.，《符号评估和全局值图》。 第四届美国计算机学会编程语言原理年会会议记录， 1977年1月，第104-118页。]] 谷歌学者 数字图书馆 {Reif81}Reif，J.H.，Tarjan，R.E.，几乎线性时间内的符号程序分析。 SIAM计算机杂志， 1981年2月，第11卷，第1期，第81-93页。]] 谷歌学者 {Reif82}Reif，J.H.，Lewis，H.R.，《程序的有效符号分析》。 哈佛大学艾肯计算实验室出版，1982年，编号TR-37--82。]] 谷歌学者 {Schwartz73}Schwartz，J.T.，《编程》，SETL项目中期报告，第二期：SETL语言及其使用示例。 由Courant数学科学研究所计算机科学系出版。 纽约大学，1973年10月。]] 谷歌学者 {Schwartz79}Schwartz，J.T.，Sharir，M.，比特矢量类的优化设计。 由Courant数学科学研究所出版。 纽约大学计算机科学系。， 1979年9月，第17号。]] 谷歌学者 {Tarjan74}Tarjan，R.E.，测试流图可约性。 计算机与系统科学杂志 1974年12月，第9卷，第355--365页。]] 谷歌学者 数字图书馆 {Wegman85}Wegman，M.，Zadeck，F.K.，《条件分支的恒定传播》。 第十二届ACM程序设计语言原理年度研讨会会议记录 1985年1月，第291--299页。]] 谷歌学者 数字图书馆 {Wolfe82}Wolfe，M.J.，《为超级计算机优化超级计算机》。 伊利诺伊大学厄本那-香槟分校计算机科学系出版，1982年。]] 谷歌学者 数字图书馆
