Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic
No abstract available.
Related papers
- A Compiler for Sound Floating-Point Computations using Affine Arithmetic CGO 2022
- Sound compilation of reals POPL 2014
- Towards an API for the real numbers PLDI 2020
- Syntactically Convex Model-Based Projection for Linear Real Arithmetic TACAS 2026
- Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic VMCAI 2019
- Lazy Array Data-Flow Dependence Analysis POPL 1994
- Towards a Compiler for Reals TOPLAS 2017
- Automatic detection of floating-point exceptions POPL 2013