Value dependence graphs: representation without taxation

作者: Daniel Weise , Roger F. Crew , Michael Ernst , Bjarne Steensgaard

DOI: 10.1145/174675.177907

关键词:

摘要: … The value dependence graph (VDG) is a sparse dataflowlike representation … Dotted lines separate regions of equivalent demand dependence; there are no store values. … dependent …

参考文章(38)
Keshav Pingali, Richard Johnson, David Pearson, Finding Regions Fast: Single Entry Single Exit and Control Regions in Linear Time Cornell University. ,(1993)
Ravi Sethi, Jeffrey D. Ullman, Alfred V. Aho, Compilers: Principles, Techniques, and Tools ,(1986)
John Cocke, Programming languages and their compilers: Preliminary notes Courant Institute of Mathematical Sciences, New York University. ,(1969)
Thomas Ball, Susan Horwitz, Slicing Programs with Arbitrary Control-flow AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging. ,vol. 749, pp. 206- 222 ,(1993) , 10.1007/BFB0019410
Daniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman, Automatic online partial evaluation international conference on functional programming. pp. 165- 191 ,(1991) , 10.1007/3540543961_9
Lawrence Feigen, David Klappholz, Robert Casazza, Xing Xue, The revival transformation symposium on principles of programming languages. pp. 421- 434 ,(1994) , 10.1145/174675.178043
Keshav Pingali, Micah Beck, Richard Johnson, Mayan Moudgill, Paul Stodghill, Dependence flow graphs: an algebraic approach to program dependencies Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '91. pp. 67- 78 ,(1991) , 10.1145/99583.99595
E. Cartwright, M. Felleisen, The semantics of program dependence Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation - PLDI '89. ,vol. 24, pp. 13- 27 ,(1989) , 10.1145/73141.74820
Richard Johnson, Keshav Pingali, Dependence-based program analysis Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation - PLDI '93. ,vol. 28, pp. 78- 89 ,(1993) , 10.1145/155090.155098