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


Available:    bibtex entry

Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel

© copyright notice