Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation.

Kalyan Muthukumar Manuel V. Hermenegildo Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation. 49-63 1991 ICLP db/conf/iclp/iclp91.html#MuthukumarH91