[1] Mark W. Program Slicing[C]//Proc. of the 5th Int’l Conf. on Software Engineering. [S. l.]: IEEE Press, 1981. [2] Ottenstein K, Ottenstein L. The Program Dependence Graph in a Software Development Environment[J]. ACM SIGPLAN Notices, 1984, 19(5): 177-184. [3] Ferrante J, Ottenstein K J, Warren J D. The Program Dependence Graph and Its Use in Optimization[J]. ACM Trans. on Programming Languages and Systems, 1987, 9(3): 319-329. [4] Horwitz S, Reps T. Inter-procedural Slicing Using Dependence Graphs[C]//Proc. of ACM Conf. on Programming Language
Design and Implementation. [S. l.]: ACM Press, 1988. [5] Susan H, Thomas R, David B. Inter-procedural Slicing Using Dependence Graphs[J]. ACM Trans. on Programming Languages and Systems, 1990, 12(1): 26-60. [6] Frank T. A Survey of Program Slicing Techniques[J]. Journal of Programming Languages, 1995, 3(3): 121-189. [7] Liao Shih-Wei, Amer D, Robert P. SUIF Explorer: An Interactive and Inter-procedural Parallelizer[C]//Proc. of the 7th ACM Symposium on Principles and Practice of Parallel Programming. [S. l.]: ACM Press, 1999. [8] Bjarne S. Program Slicing Techniques[C]//Proc. of the 23rd ACM Symp. on Principles of Programming Languages. Petersburg Beach, Florida, USA: [s. n.], 1996. [9] Vineet K. Bootstrapping: A Technique for Scalable Flow and Context-sensitive Pointer Alias Analysis[C]//Proc. of 2008 ACM Conf. on Programming Language Design and Implemen- tation. Tucson, USA: [s. n.], 2008. [10] Yu Hongtao, Xue Jingling, Huo Wei, et al. Level by Level: Making Flow and Context-sensitive Pointer Analysis Scalable for Millions of Lines of Code[C]//Proc. of the 8th Annual IEEE/ACM Int’l Symp. on Code Generation and Optimization. Toronto, Ontario, Canada: [s. n.], 2010. [11] Mark W. Reconstructing Sequential Behavior from Parallel Behavior Projections[J]. Information Processing Letters, 1983, 17(3): 129-135. [12] Spyridon T, Matthew J. A Framework for Unrestricted Whole- program Optimization[C]//Proc. of 2006 ACM Conf. on Program- ming Language Design and Implementation. Ottawa, Ontario, Canada: [s. n.], 2006. [13] 吴国伟, 曹厚华. 快速自动程序流分析方法研究[J]. 计算机工程, 2010, 36(15): 55-56.
|