Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter
- 14 March 2002
- book chapter
- Published by Springer Nature
- p. 209-212
- https://doi.org/10.1007/3-540-45927-8_15
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Propagation of Roundoff Errors in Finite Precision Computations: A Semantics ApproachPublished by Springer Nature ,2002
- What every computer scientist should know about floating-point arithmeticACM Computing Surveys, 1991
- A flexible approach to interprocedural data flow analysis and programs with recursive data structuresPublished by Association for Computing Machinery (ACM) ,1982