Deriving Descriptions of Possible Values of Program Variables by means of Abstract Interpretation (1992)

by G Janssens, M Bruynooghe
Venue:Journal of Logic Programming, 13(2 and 3):205–258