Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis.

Michael Codish, Dennis Dams, Eyal Yardeni

Browse the full ICLP paper archive.