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

by M Bruynooghe, G Janssens
Venue:In Fifth International Conference and Symposium on Logic Programming