ИСО/МЭК 10967

ISO/IEC 10967 , Языконезависимая арифметика ( LIA ), представляет собой серию стандарты по компьютерной арифметике. Он совместим с ISO/IEC/IEEE 60559:2011. более известный как IEEE 754-2008 , и большая часть спецификации указаны для специальных значений IEEE 754. (хотя такие значения не требуются самому LIA, если только параметр iec ₅₅₉ не имеет значения true ). Он был разработан рабочей группой ISO/IEC JTC1/SC22 /WG11, которая была расформирована в 2011 году.

ЛИА состоит из трех частей:

• Часть 1: Целочисленная арифметика и арифметика с плавающей запятой , второе издание, опубликовано в 2012 году.
• Часть 2: Элементарные числовые функции , первое издание опубликовано в 2001 году.
• Часть 3: Сложная целочисленная арифметика и арифметика с плавающей запятой, а также сложные элементарные числовые функции , первое издание опубликовано в 2006 году.

Части

Часть 1

Часть 1 посвящена базовым целочисленным типам данных и типам данных с плавающей запятой (для нескольких систем счисления, включая 2 и 10). но в отличие от IEEE 754-2008 это не представление значений. Часть 1 также занимается базовой арифметикой, включая сравнения значений таких типы данных. Ожидается, что параметр iec ₅₅₉ будет верно для большинства реализаций LIA-1.

Часть 1 была переработана и стала вторым изданием, чтобы лучше соответствовать спецификациям. в частях 2 и 3.

Часть 2

Часть 2 посвящена некоторым дополнительным «базовым» операциям с целыми числами и числами с плавающей запятой. значения типов данных, но основное внимание уделяется определению требований к числовым значениям. варианты элементарных функций . Большая часть спецификаций LIA-2 вдохновлена по спецификациям в Ada для элементарных функций.

Часть 3

Часть 3 обобщает части 1 и 2 для работы с мнимыми и сложными типами данных , а также арифметическими и элементарными функциями для таких значений. Большая часть спецификаций LIA-3 основана на спецификациях. для мнимых и сложных типов данных и операций в С , Ада и Обычный Лисп .

Привязки

Каждая из частей содержит предлагаемые привязки для ряда языки программирования. Они не являются частью стандартов LIA, просто предложения и не являются полными. Авторы программы языковой стандарт, возможно, пожелает изменить предложения, прежде чем что-либо включение в стандарт языка программирования.

Стандарты C99 , C11 и C17 для C , а в 2013 году стандарты для C++ и Modula-2 имеют частичную привязку к LIA-1.

См. также

• IEEE 754 , стандарт арифметики с плавающей запятой
• ISO/IEC 11404 , Типы данных общего назначения.

Внешние ссылки

• ISO/IEC 10967-1:2012 , полный текст Части 1: Целочисленная арифметика и арифметика с плавающей запятой .
• ISO/IEC 10967-2:2001 , полный текст Части 2: Элементарные числовые функции .
• ISO/IEC 10967-3:2006 , полный текст Части 3: Комплексная целочисленная арифметика и арифметика с плавающей запятой, а также комплексные элементарные числовые функции .