Static Analysis
From MaRDI portal
Publication:5897425
DOI10.1007/11547662zbMath1141.68445OpenAlexW4229853237MaRDI QIDQ5897425
Enea Zaffanella, Patricia M. Hill, Elena Mazzi, Roberto Bagnara
Publication date: 31 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11547662
Computational aspects related to convexity (52B55) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness, Why does Astrée scale up?, A minimalistic look at widening operators, The octagon abstract domain, PPLite: zero-overhead encoding of NNC polyhedra, Exact join detection for convex polyhedra and other numerical abstractions, Widening and narrowing operators for abstract interpretation, Pentagons: a weakly relational abstract domain for the efficient validation of array accesses, An Improved Tight Closure Algorithm for Integer Octagonal Constraints
Uses Software