Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Michael Codish, Dennis Dams, Eyal Yardeni
Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis
ICLP, 1991.

ICLP 1991
DBLP
Scholar
Full names Links ISxN
@inproceedings{ICLP-1991-CodishDY,
	author        = "Michael Codish and Dennis Dams and Eyal Yardeni",
	booktitle     = "{Proceedings of the Eighth International Conference on Logic Programming}",
	isbn          = "0-262-56058-5",
	pages         = "79--93",
	publisher     = "{MIT Press}",
	title         = "{Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis}",
	year          = 1991,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.