Title :
A formal approach to rounding
Author_Institution :
Oxford University Programming Research Group, USA
Abstract :
This paper presents a formal description of rounding, as specified in the IEEE Standard, and an algorithm to perform the task along with its proof of correctness.
Conference_Titel :
Computer Arithmetic (ARITH), 1987 IEEE 8th Symposium on
Conference_Location :
Como, Italy
Print_ISBN :
0-8186-0774-2
DOI :
10.1109/ARITH.1987.6158683
