The Impact of Abstract Interpretation: An Experiment in Code Generation.

Andr Marin, Gerda Janssens, Anne Mulkers, Maurice Bruynooghe

Browse the full ICLP paper archive.