Fuzzy array dataflow analysis
- 1 August 1995
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 30 (8) , 92-101
- https://doi.org/10.1145/209936.209947
Abstract
Exact array dataflow analysis can be achieved in the general case if the only controlstructures are the sequence, the do-loop and restricted ifs, and if loop counterbounds and array subscripts are affine expressions of surrounding loop countersand possibly some integer constants. In this paper, we begin the study of dataflowanalysis of dynamic control programs, where arbitrary ifs and whiles are allowed.In the general case, this dataflow analysis can only be approximate, hence the name...Keywords
This publication has 5 references indexed in Scilit:
- Lazy array data-flow dependence analysisPublished by Association for Computing Machinery (ACM) ,1994
- A practical data flow framework for array reference analysis and its use in optimizationsPublished by Association for Computing Machinery (ACM) ,1993
- Array-data flow analysis and its use in array privatizationPublished by Association for Computing Machinery (ACM) ,1993
- Some efficient solutions to the affine scheduling problem. I. One-dimensional timeInternational Journal of Parallel Programming, 1992
- Parametric integer programmingRairo-Operations Research, 1988