Simple and Efficient Algorithms for Octagons
Abstract elided by the publisher.
Related papers
- A Fresh Look at Zones and Octagons TOPLAS 2021
- Octagons Revisited - Elegant Proofs and Simplified Algorithms SAS 2023
- An Improved Tight Closure Algorithm for Integer Octagonal Constraints VMCAI 2008
- PTIME Computation of Transitive Closures of Octagonal Relations TACAS 2016
- Making numerical program analysis fast PLDI 2015
- Iterating Octagons TACAS 2009
- Closing the Performance Gap Between Doubles and Rationals for Octagons SAS 2018
- A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware SAS 2007