Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation (1991)

by K MUTHUKUMAR, M HERMENEGILDO
Venue:In Proceedings of the International Conference on Logic Programming