Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Kim Henriksen, Gourinath Banda, John Gallagher

Convex polyhedral abstractions of logic programs have been found very useful in deriving numeric relationships between program arguments in order to prove program properties and in…