The Abstract Domain of Parallelotopes

  title={The Abstract Domain of Parallelotopes},
  author={Gianluca Amato and Francesca Scozzari},
  journal={Electr. Notes Theor. Comput. Sci.},
We propose a numerical abstract domain based on parallelotopes. A parallelotope is a polyhedron whose constraint matrix is squared and invertible. The domain of parallelotopes is a fully relational abstraction of the Cousot and Halbwachs’ polyhedra abstract domain, and does not use templates. We equip the domain of parallelotopes with all the necessary operations for the analysis of imperative programs, and show optimality results for the abstract operators. 
Highly Cited
This paper has 22 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
13 Citations
12 References
Similar Papers

Similar Papers

Loading similar papers…