Iterating Octagons
No abstract available.
Related papers
- Solving systems of rational equations through strategy iteration TOPLAS 2011
- Program Analysis with Local Policy Iteration VMCAI 2016
- Simple and Efficient Algorithms for Octagons APLAS 2014
- 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
- An Abstract Domain to Infer Octagonal Constraints with Absolute Value SAS 2014
- Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis SAS 2016
- PTIME Computation of Transitive Closures of Octagonal Relations TACAS 2016