Interval Semantics for Standard Floating-Point Arithmetic

Details Interval Semantics for Standard Floating-Point Arithmetic Interval Semantics for Standard Floating-Point Arithmetic

2008-10-23

arxiv.org/abs/0810.4196v1

Computer Science

Numerical Analysis

10 pages

Scientific paper

If the non-zero finite floating-point numbers are interpreted as point intervals, then the effect of rounding can be interpreted as computing one of the bounds of the result according to interval arithmetic. We give an interval interpretation for the signed zeros and infinities, so that the undefined operations 0*inf, inf - inf, inf/inf, and 0/0 become defined. In this way no operation remains that gives rise to an error condition. Mathematically questionable features of the floating-point standard become well-defined sets of reals. Interval semantics provides a basis for the verification of numerical algorithms. We derive the results of the newly defined operations and consider the implications for hardware implementation.

Affiliated with

Also associated with

No associations

Rating

Interval Semantics for Standard Floating-Point Arithmetic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Interval Semantics for Standard Floating-Point Arithmetic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Interval Semantics for Standard Floating-Point Arithmetic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-680250