 |
Incremental Refinement of Semantic Based Program Analysis for Logic Programs
Samir Genaim and Michael Codish
Proceedings of the 22nd
Australasian Computer Science Conference;
1999
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