An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
No abstract available.
Related papers
- Polynomial Invariant Generation for Floating-Point Programs CAV 2026
- Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions TOPLAS 2019
- VCFloat2: Floating-Point Error Analysis in Coq CPP 2024
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ESOP 2004
- A unified Coq framework for verifying C programs with floating-point computations CPP 2016
- Floating-Point TVPI Abstract Domain PLDI 2024
- Numerical Fuzz: A Type System for Rounding Error Analysis PLDI 2024
- MCALIB: Measuring Sensitivity to Rounding Error with Monte Carlo Programming TOPLAS 2015