Dynamic Partitioning in Analyses of Numerical Properties
Abstract elided by the publisher.
Related papers
- A combination framework for tracking partition sizes POPL 2009
- A²I: abstract² interpretation POPL 2019
- Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation ECOOP 2021
- Abstract Interpretation by Dynamic Partitioning JFP 1992
- Finding Recurrent Sets with Backward Analysis and Trace Partitioning TACAS 2016
- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems CAV 2019
- Refining Static Analyses by Trace-Based Partitioning Using Control Flow SAS 1998
- Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript ECOOP 2020