FORMAL METHODS APPLIED TO A FLOATING POINT NUMBER SYSTEM
Geoff Barrett
Abstract
This report presents a. formalisation of the IEEE standard for binary floating-point arithmetic and proofs of procedures to perform non-exceptional arithmetic calculations.
Institution
OUCL
Month
January
Number
PRG58
Pages
50
Year
1987