most citedExperiments with a Convex Polyhedral Analysis Tool for Logic Programs

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2007★ 3 cited

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…