A precision- and range-independent tool for testing floating-point arithmetic II: Conversions

ACM Transactions on Mathematical Software

Volumn 27, Issue 1, 2001, Pages 119-140

  Verdonk, Brigitte ^a   Cuyt, Annie ^a   Verschaeren, Dennis ^a  

^a UNIVERSITY OF ANTWERP   (Belgium)

Author keywords

Arithmetic; D.3.0 Programming Languages : General Standards; D.3.4 Programming Languages : Processors Compilers; Floating point; G.1.0 Numerical Analysis : General Computer arithmetic; IEEE floating point standard; Multiprecision; Verification

Indexed keywords

EID: 0012062683     PISSN: 00983500     EISSN: None     Source Type: Journal    
DOI: 10.1145/382043.382405     Document Type: Article

References (17)

1. ANSI-ISO-IEC. 1997. Information technology - Programming languages - Fortran. Ref. No. ISO/IEC 1539-1.
2. ANSI-ISO-IEC. 1998. Information technology - Programming languages - C++. Ref. No. ANSI/ISO/IEC 14882-1998.
3. ANSI-ISO-IEC. 1999. Programming languages - C. Ref. No. ANSI/ISO/IEC 9899.
4. COMMITTEE J3. 2000. Fortran 2000-Draft standard. Ref. no. J3/01-007. http://www.j3-fortran.org.
5. COONEN, J. 1984. Contributions to a proposed standard for binary floating-point arithmetic. Ph.D. Dissertation. University of California at Berkeley, Berkeley, CA.
6. CUYT, A. ET AL. 2000a. The Arithmos project. Univ. of Antwerp, Antwerp, Belgium. http://win-www.uia.ac.be/u/cant/arithmos.
7. CUYT, A., KUTERNA, P., VERDONK, B., AND VERSCHAEREN, D. 2000b. Underflow revisited. Tech. Rep. Univ. of Antwerp, Antwerp, Belgium. Available via http://win-www.uia.ac.be/u/cant/ publications.html. Submitted for publication.
8. GAY, D. 1990. Correctly rounded binary-decimal and decimal-binary conversions. Numerical Analysis Manuscript 90-10. AT&T Bell Laboratories, Inc., Murray Hill, NJ.
9. HOUGH, D. ET AL. 1988. UCBTEST, a suite of programs for testing certain difficult cases of IEEE 754 floating-point arithmetic. Restricted public domain software from http://netlib. bell-labs.com/netlib/fp/index.html.
10. IEEE. 1985. ANSI/IEEE standard for binary floating point arithmetic: Standard 754-1985. IEEE Press, Piscataway, NJ. Reprinted in ACM SIGPLAN Not. 22, 2 (1987), pp. 9-25.
11. IEEE. 1987. ANSI/IEEE standard for radix-independent floating-point arithmetic: Standard 854-1987. IEEE Press, Piscataway, NJ.
12. PAXSON, V. AND KAHAN, W. 1991. A program for testing IEEE decimal-binary conversion. Tech. Rep. University of California at Berkeley, Berkeley, CA.
13. SMITH, D. M. 1991. Algorithm 693: A FORTRAN package for floating-point multiple-precision arithmetic. ACM Trans. Math. Softw. 17, 2 (June), 273-283.
14. SUN MICROSYSTEMS. 1997. The UltraSparc processor. Technology White Paper. Sun Microsystems, Inc., Mountain View, CA. http://www.sun.com.
15. THOMAS, J. 1995. Chapter 5: Floating-point C extensions. Tech. Rep. X3J11. Numerical C Extensions Group.
16. TYDEMAN, F. 1996. Decimal to binary conversion for IEEE 754/854 double format. Posting to the reliable_computing@interval.usl.edu mailing list (Feb. 25, 1996). Email: tydeman@tybor.com.
17. VERDONK, B., CUYT, A., AND VERSCHAEREN, D. 2001. A precision- and range-independent tool for testing floating-point artithmetic I: Basic operations, square root, and remainder. ACM Trans. Math. Softw. 27, 1 (Mar.). This issue.