Prev Up Next
Go backward to 7 A Specification of Complex Numbers
Go up to Top
Go forward to Footnotes


W.J. Cody. A proposed radix- and word-lenght-independent standard for floating-point arithmetic. IEEE Micro, 1984.
CoFI. The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible by WWW and FTP.
David Goldberg. What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys, 23(1):5 - 48, 1991.
John Harrison. Theorem Proving with the Real Numbers. Springer Verlag, 1998.
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.
IEEE. IEEE standard 754-1985 for Binary Floating-Point Arithmetic. Reprinted in SIGPLAN, 1987.
Ulrich W. Kulisch and Willard L. Miranker. Computer Arithmetic in Theory and Practice. Academic Press, 1981.
R.E. Moore, editor. Reliability in Computing, The Role of Interval Methods in Scientific Computations. Academic Press, 1988.
Markus Roggenbach and Till Mossakowski. Basic datatypes in CASL. Note M-6, in [CoF], March 1999.
Markus Roggenbach and Till Mossakowski. Proposal of some annotations and literal syntax in CASL. Note L-11, in [CoF], March 1999.

CoFI Note: M-7 -- Version: 0.2 -- 13 April 1999.
Comments to

Prev Up Next