Abstract interpretation: Towards the global optimization of Prolog programs (1987)

by M Bruynooghe, G Janssens, A Callebaut, B Demoen
Venue:In Proceedings of the 1987 Symposium on Logic Programming