Quadtrees as an Abstract Domain

s as an Abstract Domain Jacob M. Howe1,4 Dept of Computing, City University London, UK Andy King1,3,5 School of Computing, University of Kent, Canterbury, UK Charles Lawrence-Jones2,6 School of Computing, University of Kent, Canterbury, UK Quadtrees have proved popular in computer graphics and spatial databases as a way of representing regions in two dimensional space. This hierarchical data-structure is flexible enough to support nonconvex and even disconnected regions, therefore it is natural to ask whether this data-structure the basis of an abstract domain. This paper explores this question and suggests that quadtrees offer a new approach to weakly relational domains whilst their hierarchical structure naturally lends itself to representation with boolean functions.

• Type: Journal
• Year: 2010
• Where: ENTCS
• Authors: Jacob M. Howe, Andy King, Charles Lawrence-Jones
• Keywords: Abstract Domain, Abstract Domain Jacob, City University London, ENTCS 2010, Software Engineering