An Instance of Abstract Interpretation Integrating Type and Mode (1988)

by M Bruynooghe, G Jennsens
Venue:Inferencing”, Proceedings of the Fifth International Conference on Logic Programming