An Abstract Domain to Infer Octagonal Constraints with Absolute Value
No abstract available.
Related papers
- A Fresh Look at Zones and Octagons TOPLAS 2021
- A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware SAS 2007
- Data flow refinement type inference POPL 2021
- Octagons Revisited - Elegant Proofs and Simplified Algorithms SAS 2023
- An Abstract Domain to Infer Ordinal-Valued Ranking Functions ESOP 2014
- An Improved Tight Closure Algorithm for Integer Octagonal Constraints VMCAI 2008
- Program Analysis with Local Policy Iteration VMCAI 2016
- Making numerical program analysis fast PLDI 2015