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

Kalyan Muthukumar, Manuel V. Hermenegildo

Browse the full ICLP paper archive.