Abstraction of Optional Numerical Values
Abstract elided by the publisher.
Related papers
- Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation ECOOP 2021
- An Abstract Domain for Trees with Numeric Relations ESOP 2019
- Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP 2025
- A framework for numeric analysis of array operations POPL 2005
- Practical Optional Types for Clojure ESOP 2016
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
- The Arithmetic-Geometric Progression Abstract Domain VMCAI 2005
- Bridging boolean and quantitative synthesis using smoothed proof search POPL 2014