Convex Hull Abstractions in Specialization of CLP Programs.

Julio C. Peralta, John P. Gallagher

Browse the full LOPSTR paper archive.