ИСО/МЭК 10967

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

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

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

Части [ править ]

Часть 1 [ править ]

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

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

Часть 2 [ править ]

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

Часть 3 [ править ]

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

Привязки [ править ]

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

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

См. также [ править ]

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

Ссылки [ править ]

  1. ^ «JTC1/SC22/WG11 – Методы связывания» . Домашняя страница . ИСО/МЭК . Проверено 7 июня 2017 г.

Внешние ссылки [ править ]

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