The impact of abstract interpretations: an experiment in code generation (1989)

by A Marien, G Janssen, A Mulkers, M Bruynooghe
Venue:In Proceedings of the Sixth International Conference on Logic Programming