摘要
1 AHO，A V.和ULmSAN，J.D《解析、翻译、论和编译的理论》，第二卷“编译”，普伦蒂斯·霍尔，恩格尔伍德·克利夫斯，新泽西州，1973年 谷歌学者 
数字图书馆 
2 艾伦，F.E.项目optnni~atlon。 《自动编程年鉴》，第5卷，佩加蒙出版社，纽约，1969年，239-307。 谷歌学者 三 ALLEN，F.E.控制流分析SIGPLAN通知5，7（1970年7月），1-19。 谷歌学者 数字图书馆 4 COCKE，J Global common sub-expression elnning SIGPLAN Nohces第5、7期（1970年7月），第20-24页。 谷歌学者 数字图书馆 5 HECHT，M.S.，AN}）ULLMAN，J.D.全局流问题的简单算法分析。 程序。 ACM编程语言原理会议，1973年10月，第207-217页。 谷歌学者 数字图书馆 6 HECHT，M S.和ULLMAN，J D可约流图的特征。 J.ACM 21，3（1974年7月），367-375。 谷歌学者 数字图书馆 7 HOPCROFT，J.E和TARJAN，R.E.算法447——图形绘制的有效算法。 通信ACM 16，6（1973年6月），372-378。 谷歌学者 数字图书馆 8 KAM，J.B.，AN}）ULLMAN，J D Monotone数据流分析框架TR-169，电子工程系，计算机科学实验室，普林斯顿大学，普林斯顿，N J，1975年1月 谷歌学者 9 KENNEDY，K全球流量分析算法lnt J计算机数学。 3，1（1971年12月），5-15。 谷歌学者 10 KILDALL，G编译期间的全局表达式优化。 TR 724）6-02，计算机科学小组，华盛顿州西雅图，1972年6月。 另请参见程序。 ACM编程语言原理会议，1973年10月，第194-206页 谷歌学者 数字图书馆 11 KNUTH，D.E.对FORTRAN程序的实证研究。 软件Pratt和Exper。 1,2（1971年4月），105-134 谷歌学者 交叉引用 
12 SCHAEFER，M.A全球流量分析的马尔海马卡尔理论Prentice-Hall，Englewood Chffs，N J.，1973年。 谷歌学者 13 ULLMAN，J D消除常见子表达式的快速算法Acta Informatwa Z，3（1973年12月），191-213 谷歌学者 数字图书馆 14 VYSSOTSKY，V.A.与M.S.Hecht的私人通信，1973年6月 谷歌学者
建议
Soot中使用价值上下文的跨过程数据流分析 SOAP’13：第二届ACM SIGPLAN Java程序分析最新技术国际研讨会会议记录 如果过程间分析是流敏感的，并且即使在存在递归的情况下也是完全上下文敏感的，那么它就是精确的。 许多过程间分析方法牺牲了精确性以获得可伸缩性，而有些方法虽然精确但仅限于。。。 用Kleene代数描述数据流分析技术 静态程序分析由编译时技术组成，用于确定程序的属性，而无需实际运行它们。 使用Kleene代数，我们形式化了一般类静态过程内数据流分析的四个实例，称为“。。。
