A formal approach to rounding

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/arith.1987.6158683

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.

Keywords

FORMAL APPROACH
FORMAL DESCRIPTION
SPECIFIED
IEEE STANDARD
PRESENTS A FORMAL
SPECIFIED
APPROACH TO ROUNDING
ROUNDING THIS PAPER

This publication has 0 references indexed in Scilit: