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

by M Bruynooghe, G Janssens
Venue:In Logic Programming: Proceedings of the 5th International Conference