Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/iclp/CharlierH92
%A Charlier, Baudouin Le
%A Hentenryck, Pascal Van
%B JICSLP
%D 1992
%E Apt, Krzysztof R.
%I MIT Press
%K dblp
%P 750-764
%T Reexecution in Abstract Interpretation of Prolog.
%U http://dblp.uni-trier.de/db/conf/iclp/iclp92.html#CharlierH92
%@ 0-262-51064-2
@inproceedings{conf/iclp/CharlierH92,
added-at = {2013-11-29T00:00:00.000+0100},
author = {Charlier, Baudouin Le and Hentenryck, Pascal Van},
biburl = {https://www.bibsonomy.org/bibtex/2afddc4f03b9949b858d5139ca7f31218/dblp},
booktitle = {JICSLP},
crossref = {conf/iclp/1992},
editor = {Apt, Krzysztof R.},
interhash = {0caf3f606365f9993c8c8a2ad45f4baf},
intrahash = {afddc4f03b9949b858d5139ca7f31218},
isbn = {0-262-51064-2},
keywords = {dblp},
pages = {750-764},
publisher = {MIT Press},
timestamp = {2013-11-30T11:33:19.000+0100},
title = {Reexecution in Abstract Interpretation of Prolog.},
url = {http://dblp.uni-trier.de/db/conf/iclp/iclp92.html#CharlierH92},
year = 1992
}