Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach
No abstract available.
Related papers
- Towards a Compiler for Reals TOPLAS 2017
- Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations CAV 2021
- Numerical Fuzz: A Type System for Rounding Error Analysis PLDI 2024
- Scaling up Roundoff Analysis of Functional Data Structure Programs SAS 2023
- Sound compilation of reals POPL 2014
- Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs SAS 2023
- Trustworthy numerical computation in Scala OOPSLA 2011
- Robustness Analysis of Finite Precision Implementations APLAS 2013