A. King

collaborators

2 papers

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…

cs.PL2002

A Backward Analysis for Constraint Logic Programs

Andy King, Lunjin Lu

One recurring problem in program development is that of understanding how to re-use code developed by a third party. In the context of (constraint) logic programming, part of this…