Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Conference or workshop item

Number of items: 5.

Article

Simon, Axel and King, Andy and Howe, Jacob M. (2010) The Two Variable Per Inequality Abstract Domain. Higher-Order and Symbolic Computation, 31 (1). pp. 182-196. The full text of this publication is not available from this repository.

Simon, Axel and King, Andy (2004) Convex Hull of Planar H-Polyhedra. International Journal of Computer Mathematics, 81 (4). pp. 259-271. ISSN 0020-7160.

Preview

Conference or workshop item

Simon, Axel and King, Andy (2007) Taming the Wrapping of Integer Arithmetic. In: File, Gilberto and Nielson, Hanne Riis, eds. Fourteenth International Static Analysis Symposium. Lecture Notes in Computer Science, 4634. Springer pp. 121-126. ISBN 978-3-540-74060-5 .

Preview

Simon, Axel and King, Andy (2006) Widening Polyhedra with Landmarks. In: Fourth Asian Symposium on Programming Languages and Systems.

Preview

Simon, Axel and King, Andy (2005) Exploiting Sparsity in Polyhedral Analysis. In: Twelfth International Static Analysis Symposium.

Preview

This list was generated on Sun May 19 21:21:13 2013 BST.