Deriving Descriptions of Possible Valúes of Program Variables by means of Abstract Interpretation (1992)

by G Janssens, M Bruynooghe
Venue:Journal of Logic Programming