JUCS - Journal of Universal Computer Science 1(7): 560-569, doi: 10.3217/jucs-001-07-0560
On a Formally Correct Implementation of IEEE Computer Arithmetic
expand article infoEvgenija D. Popova‡
‡ Bulgarian Academy of Sciences, Bulgaria

Corresponding author: Evgenija Popova ( epopova@bgearn.acad.bg )

© Evgenija Popova.
This article is freely available under the J.UCS Open Content License.
Citation: Popova ED (1995) On a Formally Correct Implementation of IEEE Computer Arithmetic. JUCS - Journal of Universal Computer Science 1(7): 560-569. https://doi.org/10.3217/jucs-001-07-0560
Open Access
Abstract
IEEE floating-point arithmetic standards 754 and 854 reflect the present state of the art in designing and implementing floating-point arithmetic units. A formalism applied to a standard non-trapping mode floating-point system shows incorrectness of some numeric and non-numeric results. A software emulation of decimal floating-point computer arithmetic supporting an enhanced set of exception symbols is reported. Some implementation details, discussion of some open questions about utility and consistency of the implemented arithmetic with the IEEE Standards are provided. The potential benefit for computations with infinite symbolic elements is outlined.
Keywords
computer arithmetic, implementation, IEEE standards, exception handling