ISO/IEC 10967-1:2012 PDF

Name: ISO/IEC 10967-1:2012 — Information technology — Language independent arithmetic — Part 1: Integer and floating point arithmetic
SKU: ISO/IEC 10967-1:2012
Price: 25 EUR
Availability: InStock

Information technology — Language independent arithmetic — Part 1: Integer and floating point arithmetic

Название (английский):

ISO/IEC 10967-1:2012

Information technology — Language independent arithmetic — Part 1: Integer and floating point arithmetic

Статус документа:: Действующий
Формат:: Электронный (PDF)
Количество страниц:: 132
Дата публикации:: 11 июля 2012 г.
Издание:: ISO/IEC IS 10967 edition 2 version 1
ICS:: 35.060

Тип поставки:

Full version1 980 €Read online 24h10 €Read online 72h15 €

Язык документа:

ruen

Срок поставки:22 раб. дн. (перевод)

Цена:1 980 €

Описание (английский):

ISO/IEC 10967-1:2012 specifies properties of many of the integer and floating point datatypes available in a variety of programming languages in common use for mathematical and numerical applications. Its goal is to ensure that the properties of the arithmetic on a conforming datatype are made available to the programmer.

Abstract

Похожие стандарты

Упомянутые в описании и другие стандарты ISO

Overview

ISO/IEC 10967-1:2012 - "Information technology - Language independent arithmetic - Part 1: Integer and floating point arithmetic" defines a language‑independent, parameterized model for the properties and behavior of integer and floating‑point datatypes used in numerical and mathematical programming. The standard specifies what arithmetic operations, datatype parameters and runtime information must be available to programmers, and requires documentation and notification mechanisms so numeric behavior is predictable and analyzable across platforms.

Keywords: ISO/IEC 10967-1:2012, language independent arithmetic, integer and floating point arithmetic, numeric datatypes, portability, IEC 60559, IEEE 754.

Key topics and technical requirements

Datatype models and parameters: A parameterized description covering bounded/unbounded integers and floating‑point types (including radix‑2 and radix‑10 variants).

Operations and semantics: Definitions for comparisons, basic arithmetic, value dissection/splitting, and conversions between numeric datatypes.

Conformity and documentation: Requirements for platform and language processor documentation so implementers disclose arithmetic properties and parameter values.

Notification model: Mechanisms for signaling exceptional conditions (e.g., overflow, inexact, underflow, infinities, NaNs) with alternatives such as recording indicators, altering control flow, or terminating with a message.

Rounding and accuracy: Specification of rounding modes, rounding constants, and guidance on precision, accuracy and error propagation.

Bindings and examples: Informative annexes include example language bindings (Ada, C, C++, Fortran, Common Lisp), sample conformity statements, and test programs for verifying platform acceptability.

Compatibility with IEC 60559 (IEEE 754): The second edition tightens requirements to align more closely with IEC 60559 where applicable, while noting the standard does not guarantee bit‑for‑bit identical results across all platforms.

Practical applications and users

Programming language standards committees - to express arithmetic semantics consistently.

Compiler and runtime implementers - to expose runtime operations, parameters and correct notification behavior.

Numerical library authors and scientific programmers - for predictable numerical behavior, conversions and error handling.

Embedded and safety‑critical system developers - to document and verify numeric properties for certification and portability.

Test and QA teams - to design validation tests and example programs (see Annex F) for platform acceptability.

Related standards

IEC 60559 / IEEE 754 - floating‑point arithmetic (covered for conformity).

ISO/IEC 10967 Parts 2 & 3 - Part 2: elementary numerical functions; Part 3: complex arithmetic and functions.

Adopting ISO/IEC 10967-1:2012 improves predictability, documentation, and portability of numeric software across diverse platforms while helping language standards define clearer arithmetic semantics.

ISO/IEC 10967-1:2012 PDF

Abstract

Похожие стандарты

Overview

Key topics and technical requirements

Practical applications and users

Related standards

Технические детали

ISO/IEC 10967-1:1994

Information technology — Language independent arithmetic — Part 1: Integer and floating point arithmetic

ISO 8689-1:2000

Water quality — Biological classification of rivers — Part 1: Guidance on the interpretation of biological qu…

ISO/ASTM51540-04(2012)

Standard Practice for Use of a Radiochromic Liquid Dosimetry System (Withdrawn 2020)

ISO/ASTM51204-04

Standard Practice for Dosimetry in Gamma Irradiation Facilities for Food Processing (Withdrawn 2013)

ISO/ASTM51431-05

Standard Practice for Dosimetry in Electron Beam and X-Ray (Bremsstrahlung) Irradiation Facilities for Food P…

ISO/ASTM52628-20e1

Standard Practice for Dosimetry in Radiation Processing

ISO/ASTM52921-13(2019)

Standard Terminology for Additive Manufacturing—Coordinate Systems and Test Methodologies

ISO/ASTMTR52917-EB

Additive Manufacturing — Round Robin Testing — General Guidelines