Static Analysis of Numerical Algorithms
No abstract available.
Related papers
- Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java VMCAI 2014
- Static Analysis of the Numerical Stability of Loops SAS 2002
- Apron: A Library of Numerical Abstract Domains for Static Analysis CAV 2009
- Static Analysis in Disjunctive Numerical Domains SAS 2006
- Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT SAS 2013
- Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP 2025
- Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis ESOP 2014
- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis ESOP 2010