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

by G Janssens, M Bruynooghe
Venue:In Sten-*Ake Tarnlund, editor, Proceedings of ICLP'84