University of Kent

output

20022009

most citedThe ODE/IM Correspondence

280 citations

Showing 2004Show all

2 papers · 1 filter

cs.PL2004

Worst-Case Groundness Analysis Using Definite Boolean Functions

Samir Genaim, Michael Codish, Jacob M. Howe

This note illustrates theoretical worst-case scenarios for groundness analyses obtained through abstract interpretation over the abstract domains of definite (Def) and positive (Po…

cs.CG2004

Convex Hull of Planar H-Polyhedra

Axel Simon, Andy King

Suppose $< A_{i}, c_{i} >$ are planar (convex) H-polyhedra, that is, $A_{i} \in R^{n_{i} \times 2}$ and $c_{i} \in R^{n_{i}}$ . Let $P_i = \{\vec{x} \in \mathbb{R}^2…