A practical framework for the abstract interpretation of logic progams (1987)

by M Bruynooghe
Venue:In Proceedings of the 1987 Symposium on Logic Programming