IEEE 1788.1-2017

Annotation of standard text IEEE 1788.1-2017 :

New IEEE Standard - Active.
This standard is a simplified version and a subset of the IEEE Std 1788TM-2015 for Interval Arithmetic and includes those operations and features of the latter that in the the editors’ view are most commonly used in practice. IEEE Std 1788.1-2017 specifies interval arithmetic operations based on intervals whose endpoints are IEEE Std 754TM-2008 binary64 floating-point numbers and a decoration system for exception-free computations and propagation of properties of the computed results.
A program built on top of an implementation of IEEE Std 1788.1-2017 should compile and run, and give identical output within round off, using an implementation of IEEE Std 1788-2015, or any superset of the former.
Compared to IEEE Std 1788-2015, this standard aims to be minimalistic, yet to cover much of the functionality needed for interval computations. As such, it is more accessible and will be much easier to implement, and thus will speed up production of implementations.

ISBN: 978-1-5044-4602-0, 978-1-5044-4603-7
Number of Pages: 38
Product Code: STD22946, STDPD22946
Keywords: arithmetic, computing, decoration, enclosure, interval, IEEE 754TM, IEEE 1788TM, operation, verified.
Category: Education|Computational Mathematics/Complexity Theory