 |
Specialising Prolog and FCP Programs Using Abstract Interpretation
John Gallagher, Michael Codish and Ehud Shapiro
Journal of New Generation Computing;
6 : 159--186,
1988
Available: bibtex entry
Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel
mcodish@cs.bgu.ac.il