Specialisation of Prolog and FCP Programs Using Abstract Interpretation (0)

by J Gallagher, M Codish, E Shapiro
Venue:New Generation Computing