The following pages link to Programming Languages and Systems (Q5902359):
Displaying 8 items.
- A region analysis algorithm for the live variables problem (Q799117) (← links)
- An efficient general iterative algorithm for dataflow analysis (Q1088400) (← links)
- A fine-grained data-flow analysis framework (Q1365792) (← links)
- Bidirectional data flow analysis for type inferencing. (Q1399007) (← links)
- Code motion in the presence of critical edges without bidirectional data flow analysis (Q1595248) (← links)
- On the computational complexity of data flow analysis over finite bounded meet semilattices (Q1981765) (← links)
- Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery (Q3321438) (← links)
- Composing dataflow analyses and transformations (Q5178912) (← links)