Kahan, W.: Why Do We Need a Floating-Point Arithmetic Standard? Univ. of California at Berkeley, March 5, 1981. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Literature on Enclosure Methods and Related Topics - Gerd Bohlender (1996) (Correct)
.... and multiprecision arithmetic: reliability [Rum83, Ham90, Rat90] experience [RRZN84, Gue87] error analysis [Wil63, Kah65, Kah72, Ste74, Kah78, Knu81, Kah83, Kah83a] IEEE standards [IEEE85, IEEE87] older versions of these standards [ACM79, Cod81, IEEE81] discussion of these standards [Coo80, Kah81, Coo84, Cod84, Cod88, Lyn92, Pra93] implementation: 8087 coprocessor [Pal80, Rei81] language independent standards [ISO93, ISO93a, ISO93b] Ada model arithmetic [Wal82, Wal83] software and hardware implementation [Hwa79, Spa76, Spa81, ARITH, Gol90, Gol91, Swa91, Her94c, Sch95, Sch95a] ....
Kahan, W.: Why Do We Need a Floating-Point Arithmetic Standard? Univ. of California at Berkeley, March 5, 1981.
Borneo 1.0.2 - Adding IEEE 754 floating point support to Java - Darcy (1998) (Correct)
....work on any given actual architecture, even though a general proof cannot be constructed showing the program works on all (possibly perverse) architectures. A well defined standard, such as IEEE 754, allows much stronger assumptions to be made about the arithmetic, easing proof construction [61]. Arithmetic operations in Ada can throw exceptions. The conditions OVERFLOW and DIVIDE ERROR are collapsed into the single exception NUMERIC ERROR since it is claimed their distinction is rarely helpful for recovery purposes [10] Optimizations are allowed to change the result of arithmetic ....
William Kahan, "Why do we need a floating-point arithmetic standard?," 1981.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC