Array Dataflow Analysis for Explicitly Parallel Programs
Jean-Fançois Collard, Martin Griebl · Parallel Processing Letters · 1997
This paper describes a dataflow analysis of array data structures for data-parallel and/or control- (or task-) parallel imperative languages. This analysis departs from previous work because it 1) simultaneously handles both parallel programming paradigms, and 2) does not rely on the usual iterative solving process of a set of data flow equations but extends array dataflow analysis based on integer linear programming, thus improving the precision of results.