Kalyan Muthukumar Manuel V. Hermenegildo Determination of Variable Dependence Information through Abstract Interpretation. 166-185 1989 NACLP db/conf/slp/slp89.html#MuthukumarH89