Constraint Logic Programming for program analysis

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]

Abstract

Abstract is missing.