Abstract Interpretation: Towards the Global Optimization of Prolog Programs (1987)

by M Bruynooghe, B Demoen, A Callebaut, G Janssens
Venue:Proceedings of the 4 th IEEE Symposium on Logic Programming