Donut Domains: Efficient Non-convex Domains for Abstract Interpretation
No abstract available.
Related papers
- A Logical Product Approach to Zonotope Intersection CAV 2010
- Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools VMCAI 2013
- Abstract Interpretation over Non-lattice Abstract Domains SAS 2013
- Compiling with Abstract Interpretation PLDI 2024
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ESOP 2004
- Monotonicity and the Precision of Program Analysis POPL 2024
- Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers CGO 2022
- Abstract Interpretation by Dynamic Partitioning JFP 1992