 |
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis
Michael Codish, Dennis Dams and Eyal Yardeni
Proceedings of the Eighth International Conference on Logic
Programming;
1991
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