 |
A Semantic Basis for Termination Analysis of Logic Programs and its Realization using Symbolic Norm Constraints
Michael Codish and Cohavit Taboch
Proceedings of the Sixth International
Conference on Algebraic and Logic Programming;
1997
Abstract:
Available: bibtex entry
Related sites: The journal version
Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel
mcodish@cs.bgu.ac.il