Statically Inferring Complex Heap, Array, and Numeric Invariants
No abstract available.
DOI 10.1007/978-3-642-15769-1_6
Related papers
- Type-based amortized resource analysis with integers and arrays JFP 2015
- Spatial Interpolants ESOP 2015
- Low-level liquid types POPL 2010
- Evaluating Design Tradeoffs in Numeric Static Analysis for Java ESOP 2018
- Symbolic heap abstraction with demand-driven axiomatization of memory invariants OOPSLA 2010
- An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs ESOP 2016
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
- Type-based data structure verification PLDI 2009