K.__Muthukumar
Compile-time Derivation of Variable Dependency Using Abstract Interpretation
Complete and Efficient Methods for Supporting Side Effects in Independent/Restricted And-parallelism
Determination of variable dependence information through abstract interpretation