Joxan Jaffar. Constraint Logic Programming for program analysis. In Gillian Dobbie, Bernard Mans, editors, Computer Science 2008, Thirty-First Australasian Computer Science Conference (ACSC2008), Wollongong, NSW, Australia, January 22-25, 2008. Volume 74 of CRPIT, pages 3, Australian Computer Society, 2008. [doi]
@inproceedings{Jaffar08,
title = {Constraint Logic Programming for program analysis},
author = {Joxan Jaffar},
year = {2008},
doi = {10.1145/1378279.1378281},
url = {http://doi.acm.org/10.1145/1378279.1378281},
tags = {program analysis, analysis, constraints, logic programming, programming, logic},
researchr = {https://researchr.org/publication/Jaffar08},
cites = {0},
citedby = {0},
pages = {3},
booktitle = {Computer Science 2008, Thirty-First Australasian Computer Science Conference (ACSC2008), Wollongong, NSW, Australia, January 22-25, 2008},
editor = {Gillian Dobbie and Bernard Mans},
volume = {74},
series = {CRPIT},
publisher = {Australian Computer Society},
isbn = {978-1-920682-55-2},
}