Static Analyses of the Precision of Floating-Point Operations
- 4 July 2001
- book chapter
- Published by Springer Nature
- p. 234-259
- https://doi.org/10.1007/3-540-47764-0_14
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- A domain-theoretic approach to computability on the real lineTheoretical Computer Science, 1998
- Toward correctly rounded transcendentalsIEEE Transactions on Computers, 1998
- Abstract interpretation by dynamic partitioningJournal of Functional Programming, 1992
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- What every computer scientist should know about floating-point arithmeticACM Computing Surveys, 1991
- Exact real computer arithmetic with continued fractionsIEEE Transactions on Computers, 1990
- Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivityPublished by Springer Nature ,1990
- Fast rounding in multiprecision floating-slash arithmeticIEEE Transactions on Computers, 1989
- Calculator Function ApproximationThe American Mathematical Monthly, 1983
- Computer Interval Arithmetic: Definition and Proof of Correct ImplementationJournal of the ACM, 1970