ИСО / МЭК 10967 - ISO/IEC 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 году.

LIA состоит из трех частей:

  • Часть 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 основана на спецификациях воображаемых и сложных типов данных и операций в C , Ada и Common Lisp .

Привязки

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

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

Смотрите также

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

Рекомендации

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