Maurice Bruynooghe, Dmitri Boulanger. Abstract Interpretation for (Constraint) Logic Programming. In Brian H. Mayoh, Enn Tyugu, Jaan Penjam, editors, Constraint Programming, Proceedings of the NATO Advanced Study Institute on Constraint Programming, Parnu, Estonia, August 13-24, 1993. Volume 131 of NATO ASI Series, pages 228-260, Springer, 1993. [doi]
@inproceedings{BruynoogheB93,
title = {Abstract Interpretation for (Constraint) Logic Programming},
author = {Maurice Bruynooghe and Dmitri Boulanger},
year = {1993},
doi = {10.1007/978-3-642-85983-0_9},
url = {https://doi.org/10.1007/978-3-642-85983-0_9},
researchr = {https://researchr.org/publication/BruynoogheB93},
cites = {0},
citedby = {0},
pages = {228-260},
booktitle = {Constraint Programming, Proceedings of the NATO Advanced Study Institute on Constraint Programming, Parnu, Estonia, August 13-24, 1993},
editor = {Brian H. Mayoh and Enn Tyugu and Jaan Penjam},
volume = {131},
series = {NATO ASI Series},
publisher = {Springer},
isbn = {978-3-642-85983-0},
}