 |
Modelling Prolog Control
Roberto Barbuti, Michael Codish, Roberto Giacobazzi and Giorgio Levi
Proceedings of the Nineteenth ACM symposium on
Principles of Programming Languages;
1992
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