Joxan Jaffar Constraint Logic Programming for program analysis. 3 2008 ACSC http://doi.acm.org/10.1145/1378279.1378281 conf/acsc/2008 db/conf/acsc/acsc2008.html#Jaffar08