摘要
Aho，A.V.、Hopcroft，J.E.和Ullman，J.D.《计算机算法的设计与分析》，Addison-Wesley，1974年， 谷歌学者 
数字图书馆 
Aho，A.V.和Ullman，J.D.《编译器设计原则》，Addison-Wesley，1977年。 谷歌学者 数字图书馆 Allen，F.E.跨过程数据流分析。 第74届IFIP大会会议记录，北荷兰出版公司，阿姆斯特丹，398-402。 谷歌学者 Allen，F.E.和Cocke，J.《程序数据流分析程序》。 CACM 19，3（1976年3月），137-147。 谷歌学者 数字图书馆 Allen，F.E.等人，《实验编译系统项目》。 IBM Research Report RC6718，T.J.Watson Research Center，Yorktown Heights，N.Y.1977年9月。 谷歌学者 Banning，J.P.《确定程序调用副作用的方法》。 斯坦福大学博士论文。 第213号报告，斯坦福直线加速器中心（1978年8月）。 谷歌学者 数字图书馆 Barth，J.基于传递闭包的跨过程数据流分析。 加州大学伯克利分校计算机科学系，技术代表UCB-CS-76-441976年9月。 谷歌学者 Carter，J.L.私人通信。 谷歌学者 Graham，S.L.和Wegman，M.全球流量分析的快速且通常为线性算法。 JACM 23,1（1976年1月），172-202。 谷歌学者 数字图书馆 Rosen，B.K.，《过程语言数据流分析》。 JACM 26，2（1979年4月），322-344。 谷歌学者 数字图书馆 Ryder，B.G.构建程序的调用图。 IEEE软件工程学报SE-5，3（1979年5月），216-226。 谷歌学者 数字图书馆 Spillman，T.C.在PL/I优化编译器中揭示副作用。 1971年IFIP会议记录，北荷兰出版公司，阿姆斯特丹，376-381。 谷歌学者 Walter，K.G.《编译器优化的递归分析》。 CACM 19，9（1976年9月），514-516。 谷歌学者 数字图书馆 Wegman，M.N.和Carter，J.L.哈希函数的新类和应用。 第20届计算机科学基础年会论文集（1979年10月），175-182。 谷歌学者 数字图书馆 Weihl，W.E.存在指针、过程变量和标签变量时的跨过程数据流分析。 麻省理工学院硕士论文（待出版）。 谷歌学者 Winklmann，K.A.关于ALGOL60和类似编程语言中参数传递的某些方面的理论研究。 普渡大学博士论文（1977年8月）。 谷歌学者 数字图书馆
建议
在存在指针的情况下进行有效的流敏感过程间数据流分析 CC’06：第15届编译器构造国际会议记录 本文提出了一种新的工作列表算法，该算法显著加快了一大类流敏感数据流分析，包括类型状态错误检查和指针分析。 我们的算法特别适用于过程间分析。 签署人。。。
