Abstract interpretation : towards the global optimization of PROLOG programs (1987)

by M Bruynooghe, G Janssens, A Callebaut, B Demoen
Venue:Proc. 4th Symposium on Logic Programming