摘要:
参考文章(45)
Mary Lou Soffa, Rastislav Bodík, Rajiv Gupta, Complete Removal of Redundant Computations programming language design and implementation. pp. 1- 14 ,(1998)
Florian Martin, Experimental Comparison of call string and functional Approaches to Interprocedural Analysis compiler construction. pp. 63- 75 ,(1999) , 10.1007/978-3-540-49051-7_5
Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee, A new framework for exhaustive and incremental data flow analysis using DJ graphs programming language design and implementation. ,vol. 31, pp. 278- 290 ,(1996) , 10.1145/231379.231434
John P. Banning, An efficient way to find the side effects of procedure calls and the aliases of variables symposium on principles of programming languages. pp. 29- 41 ,(1979) , 10.1145/567752.567756
Stephen Richardson, Mahadevan Ganapathi, Interprocedual optimization: experimental results Software - Practice and Experience. ,vol. 19, pp. 149- 169 ,(1989) , 10.1002/SPE.4380190205
Michael Burke, An interval-based approach to exhaustive and incremental interprocedural data-flow analysis ACM Transactions on Programming Languages and Systems. ,vol. 12, pp. 341- 395 ,(1990) , 10.1145/78969.78963
Uday P. Khedker, Dhananjay M. Dhamdhere, A generalized theory of bit vector data flow analysis ACM Transactions on Programming Languages and Systems. ,vol. 16, pp. 1472- 1511 ,(1994) , 10.1145/186025.186043
Dhananjay M. Dhamdhere, Uday P. Khedker, Complexity of bi-directional data flow analysis Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93. pp. 397- 408 ,(1993) , 10.1145/158511.158696
Frank Kenneth Zadeck, Incremental data flow analysis in a structured program editor Proceedings of the 1984 SIGPLAN symposium on Compiler construction - SIGPLAN '84. ,vol. 19, pp. 132- 143 ,(1984) , 10.1145/502874.502888
Marc Shapiro, Susan Horwitz, Fast and accurate flow-insensitive points-to analysis symposium on principles of programming languages. pp. 1- 14 ,(1997) , 10.1145/263699.263703