On sparse evaluation representations

Theoretical Computer Science

Volumn 277, Issue 1-2, 2002, Pages 119-147

  Ramalingam, G ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Dataflow analysis; Equivalent flow graphs; Graph transformations; Partially equivalent flow graphs; Quick propagation graphs; Sparse evaluation graphs; Static single assignment forms

Indexed keywords

ALGORITHMS; GRAPH THEORY; LINEAR PROGRAMMING; QUADRATIC PROGRAMMING;

SPARSE EVALUATION GRAPHS;

DATA FLOW ANALYSIS;

EID: 0037188230     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(00)00315-7     Document Type: Conference Paper

References (23)

1. Towards a complete transformational toolkit of compilers
2. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
3. Automatic construction of sparse data flow evaluation graphs
4. Efficiently computing φ-nodes on-the-fly
5. An efficient method for computing static single assignment form
6. Efficiently computing static single assignment form and control dependence graph
7. How to analyze large programs efficiently and informatively
8. Reducing the cost of data flow analysis by congruence partitioning
9. A simple rewriting semantics for realistic imperative programs and its application to program analysis (preliminary report)
10. A fast and usually linear algorithm for global dataflow analysis algorithm
11. The program tree structure: Computing control regions in linear time
12. Dependence-based program analysis
13. A unified approach to global program optimization
14. A safe approximate algorithm for interprocedural pointer aliasing
15. Apt: A data structure for optimal control dependence computation
16. Optimal control dependence computation and the roman chariots problem
17. Optimizing sparse representations for dataflow analysis
18. A linear time algorithm for placing φ-nodes
19. Sparse functional stores for imperative programs
20. Fast algorithms for the elimination of common subexpressions