A formal approach to rounding

1987 IEEE 8th Symposium on Computer Arithmetic (ARITH) Pub Date : 1987-05-18 DOI:10.1109/ARITH.1987.6158683

G. Barrett

引用次数: 5

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.

查看原文本刊更多论文

舍入的正式方法

本文给出了IEEE标准中规定的舍入的形式化描述，以及执行该任务的算法及其正确性证明。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

1987 IEEE 8th Symposium on Computer Arithmetic (ARITH)

自引率

0.00%

发文量