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

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