Deriving description of possible values of program variables by means of abstract interpretation (1992)

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