An Instance of Abstract Interpretation Integrating Type and Mode Inferencing.

Maurice Bruynooghe, Gerda Janssens

Browse the full ICLP paper archive.