Pages that link to "Item:Q1884938"
From MaRDI portal
The following pages link to Precise interprocedural dependence analysis of parallel programs (Q1884938):
Displaying 9 items.
- Precise interprocedural dataflow analysis with applications to constant propagation (Q671681) (← links)
- Exploitation of symbolic information in interprocedural dependence analysis (Q1351668) (← links)
- Elimination of parallel copies using code motion on data dependence graphs (Q1649320) (← links)
- Inter-procedural analysis for parallel computing (Q1907156) (← links)
- On the sequential nature of interprocedural program-analysis problems (Q2565054) (← links)
- Constraint-based inter-procedural analysis of parallel programs (Q2712587) (← links)
- On the computational complexity of dynamic slicing problems for program schemas (Q3103616) (← links)
- (Q3172801) (← links)
- Finite constants: Characterizations of a new decidable set of constants (Q3975169) (← links)