ISO/IEC 10967

ISO/IEC 10967, Language independent arithmetic (LIA), is a series of standards on computer arithmetic. It is compatible with ISO/IEC/IEEE 60559:2011, more known as IEEE 754-2008, and indeed much of the specifications are for IEEE 754 special values (though such values are not required by LIA itself, unless the parameter iec559 is true).

LIA currently consists of three parts:


Part 1

Part 1 deals with the basic integer and floating point datatypes (for multiple radices, including 2 and 10), but unlike IEEE 754-2008 not the representation of the values. Part 1 also deals with basic arithmetic, including comparisons, on values of such datatypes. The parameter iec559 is expected to be true for most implementations of LIA-1.

Part 1 was revised, to the second edition, to become more in line with the specifications in parts 2 and 3.

Part 2

Part 2 deals with some additional "basic" operations on integer and floating point datatype values, but focuses primarily on specifying requirements on numerical versions of elementary functions. Much of the specifications in LIA-2 are inspired by the specifications in Ada for elementary functions.

Part 3

Part 3 generalizes parts 1 and 2 to deal with imaginary and complex datatypes and arithmetic and elementary functions on such values. Much of the specifications in LIA-3 are inspired by the specifications for imaginary and complex datatypes and operations in C, Ada and Common Lisp.


Each of the parts provide suggested bindings for a number of programming languages. These are not part of the LIA standards, just suggestions, and are not complete. Authors of a programming language standard may wish to alter the suggestions before any incorporation in the programming language standard.

Currently (2013) the standards for C, C++, and Modula-2 have partial bindings to LIA-1.

External links

See also

This article is issued from Wikipedia - version of the 11/2/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.