References

 [Cod84]

W.J. Cody. A proposed radix- and word-lenght-independent standard for floating-point arithmetic. IEEE Micro, 1984.

 [CoF]

CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by WWW and FTP.

 [Gol91]

David Goldberg. What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys, 23(1):5 - 48, 1991.

 [Har98]

John Harrison. Theorem Proving with the Real Numbers. Springer Verlag, 1998.

 [HKBM98]

Anne Haxthausen, Bernd Krieg-Brückner, and Till Mossakowski. Subsorted partial higher-order logic as an extension of CASL. Note L-10, in [CoF], October 1998.

 [IEE87]

IEEE. IEEE standard 754-1985 for Binary Floating-Point Arithmetic. Reprinted in SIGPLAN, 1987.

 [KM81]

Ulrich W. Kulisch and Willard L. Miranker. Computer Arithmetic in Theory and Practice. Academic Press, 1981.

 [Moo88]

R.E. Moore, editor. Reliability in Computing, The Role of Interval Methods in Scientific Computations. Academic Press, 1988.

 [RM99a]

Markus Roggenbach and Till Mossakowski. Basic datatypes in CASL. Note M-6, in [CoF], March 1999.

 [RM99b]

Markus Roggenbach and Till Mossakowski. Proposal of some annotations and literal syntax in CASL. Note L-11, in [CoF], March 1999.