3 citations · 3 across the 2 of their papers we have counts for
2 papers
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…
cs.PL2007
A Web-based Tool Combining Different Type Analyses
Kim Henriksen, John Gallagher
There are various kinds of type analysis of logic programs. These include for example inference of types that describe an over-approximation of the success set of a program, infere…