Convex Hull Analyser for constraint logic programs
 author = {Kim S. Henriksen and John P. Gallagher},
 title = {Abstract Interpretation of PIC Programs through Logic Programming},
 booktitle = {SCAM '06: Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'06)},
 year = {2006},
 isbn = {0-7695-2353-6},
 pages = {184--196},
 doi = {},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},

Convex Hull Analyser for logic programs - Information: John P. Gallagher & Kim S. Henriksen
Implementation based on the following programming tools: Ciao Prolog - Parma Polyhedra Library
Related Publications.