Static Analyses of the Precision of Floating-Point Operations
No abstract available.
Related papers
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ESOP 2004
- Seamless Compiler Integration of Variable Precision Floating-Point Arithmetic CGO 2021
- A Two-Phase Approach for Conditional Floating-Point Verification TACAS 2021
- Rigorous floating-point mixed-precision tuning POPL 2017
- Thinking Fast and Correct: Automated Rewriting of Numerical Code through Compiler Augmentation CGO 2026
- The pitfalls of verifying floating-point computations TOPLAS 2008
- Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables SAS 2010
- Efficient search for inputs causing high floating-point errors PPoPP 2014