Towards a Formal Specification of Floating Point

Brian A. Wichmann. Towards a Formal Specification of Floating Point. Comput. J., 32(5):432-436, 1989.

Abstract

Abstract is missing.