Quadtrees as an Abstract Domain
From MaRDI portal
Publication:2814109
DOI10.1016/j.entcs.2010.09.008zbMath1342.68087MaRDI QIDQ2814109
Andy King, Charles Lawrence-Jones, Jacob M. Howe
Publication date: 17 June 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2010.09.008
68P05: Data structures
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Why does Astrée scale up?
- The octagon abstract domain
- The octahedron abstract domain
- Quad trees: A data structure for retrieval by composite keys
- Two Variables per Linear Inequality as an Abstract Domain
- Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
- A Scalable Segmented Decision Tree Abstract Domain
- Grids: A Domain for Analyzing the Distribution of Numerical Values
- Static Analysis in Disjunctive Numerical Domains
- Logahedra: A New Weakly Relational Domain
- Boxes: A Symbolic Abstract Domain of Boxes
- Automatic modular abstractions for linear constraints