Accurate and efficient approximation of variable aliasing (1989)

by D Jacobs, A Langen
Venue:Overbeek (eds), Logic Programming: Proceedings of the North American Conference, MIT Press Series in Logic Programming