On Termination of Logic Programs with Floating Point Computations
No abstract available.
Related papers
- Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs ESOP 2015
- Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter ESOP 2002
- Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations ESOP 2016
- The pitfalls of verifying floating-point computations TOPLAS 2008
- A unified Coq framework for verifying C programs with floating-point computations CPP 2016
- Max-Policy Iteration, Revisited ESOP 2026
- Verifying bit-manipulations of floating-point PLDI 2016
- Controlling Computation Granularity through Fusion in Improving Floating-Point Numbers Haskell 2024