Combined determination of sharing and freeness of program variables through abstract interpretation (0)

by K Muthukumar, M Hermenegildo
Venue:In Furukawa [11