Volume-Based Merge Heuristics for Disjunctive Numeric Domains
Abstract elided by the publisher.
Related papers
- Non-disjunctive Numerical Domain for Array Predicate Abstraction ESOP 2008
- Static Analysis in Disjunctive Numerical Domains SAS 2006
- Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution) TACAS 2023
- Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP 2025
- Learning fast and precise numerical analysis PLDI 2020
- Semantic-directed clumping of disjunctive abstract states POPL 2017
- Automatic volume management for programmable microfluidics PLDI 2008
- Verifying Reliability Properties Using the Hyperball Abstract Domain TOPLAS 2018