|
Using Safe Approximations of Fixed Points for Analysis of Logic ProgramsMichael Codish, John Gallagher and Ehud Shapiro
Meta-programming in Logic Programming;
1989
Abstract: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
|