Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter
No abstract available.
Related papers
- Floating-Point Neural Networks are Provably Robust Universal Approximators CAV 2025
- Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables SAS 2010
- An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs VMCAI 2018
- On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure CAV 2009
- Assertion-based optimization of Quantum programs OOPSLA 2020
- Seamless Compiler Integration of Variable Precision Floating-Point Arithmetic CGO 2021
- Stochastic optimization of floating-point programs with tunable precision PLDI 2014
- An Interval Compiler for Sound Floating-Point Computations CGO 2021