Static Analysis-Based Validation of Floating-Point Computations
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Static Analysis of the Numerical Stability of LoopsPublished by Springer Nature ,2002
- Asserting the Precision of Floating-Point Computations: A Simple Abstract InterpreterPublished by Springer Nature ,2002
- Propagation of Roundoff Errors in Finite Precision Computations: A Semantics ApproachPublished by Springer Nature ,2002
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992