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 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). It was developed by the working group ISO/IEC JTC1/SC22/WG11, which was disbanded in 2011.[1]

LIA consists of three parts:

  • Part 1: Integer and floating point arithmetic, second edition published 2012.
  • Part 2: Elementary numerical functions, first edition published 2001.
  • Part 3: Complex integer and floating point arithmetic and complex elementary numerical functions, first edition published 2006.

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.

Bindings

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.

The C99, C11 and C17 standards for C, and in 2013, the standards for C++ and Modula-2, have partial bindings to LIA-1.[clarification needed]

See also

References

  1. ^ "JTC1/SC22/WG11 – Binding Techniques". Home page. ISO/IEC. Retrieved 7 June 2017.
  • ISO/IEC 10967-1:2012, complete text of Part 1: Integer and floating point arithmetic.
  • ISO/IEC 10967-2:2001, complete text of Part 2: Elementary numerical functions.
  • ISO/IEC 10967-3:2006, complete text of Part 3: Complex integer and floating point arithmetic and complex elementary numerical functions.

Read other articles:

man crawling Moving along the ground on hands and knees This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Crawling human – news · newspapers · books · scholar · JSTOR (November 2010) (Learn how and when to remove this message) This article is about the human motion. For other uses, see Crawl (disambiguation)…

Panduan di tempat (Hangul: 현지지도; RR: hyeonjijido; juga tur panduan atau panduan lapangan) adalah sebuah istilah yang dipakai dalam media massa Korea Utara untuk menyebut kedatangan para pemimpin tertinggi Korea Utara, sering kali di tempat-tempat terkait militer atau industri, dimana pemimpin tersebut memberikan arahan. Panduan di tempat adalah aspek penting dari propaganda Korea Utara dan kultus individu Korea Utara dari dinasti Kim. Kim Il-sung, Kim Jong-il dan Ki…

Salah satu bangunan di Jalan Pangeran Antasari, Kompleks Apartemen Kemang Village Jalan Pangeran Antasari adalah nama salah satu jalan besar Jakarta. Nama jalan ini diambil dari nama seorang Pahlawan nasional yaitu Pangeran Antasari. Jalan ini sepanjang 4 km dari persimpangan Jalan Prapanca dan Jalan Kemang Raya sampai persimpangan Jalan Tol Depok—Antasari. Jalan ini berada di Jakarta Selatan dan melintasi kelurahan: Bangka, Mampang Prapatan, Jakarta Selatan Cipete Utara, Kebayoran Baru, …

Військово-музичне управління Збройних сил України Тип військове формуванняЗасновано 1992Країна  Україна Емблема управління Військово-музичне управління Збройних сил України — структурний підрозділ Генерального штабу Збройних сил України призначений для плануван…

本條目存在以下問題,請協助改善本條目或在討論頁針對議題發表看法。 此條目需要編修,以確保文法、用詞、语气、格式、標點等使用恰当。 (2013年8月6日)請按照校對指引,幫助编辑這個條目。(幫助、討論) 此條目剧情、虛構用語或人物介紹过长过细,需清理无关故事主轴的细节、用語和角色介紹。 (2020年10月6日)劇情、用語和人物介紹都只是用於了解故事主軸,輔助讀…

习近平 习近平自2012年出任中共中央总书记成为最高领导人期间,因其废除国家主席任期限制、开启总书记第三任期、集权统治、公共政策与理念、知识水平和自述经历等争议,被中国大陸及其他地区的民众以其争议事件、个人特征及姓名谐音创作负面称呼,用以恶搞、讽刺或批评习近平。对习近平的相关负面称呼在互联网上已经形成了一种活跃、独特的辱包亚文化。 权力類 …

السجلات البابلية هي سلسلة متعددة من الوثائق التاريخية المسجلة في الأحداث للتاريخ البابلي وهي عبارة عن الواح منقوشة. وبالتالي فهي تعد واحدة من الخطوات الأولى في تطوير تدوين التاريخ القديم. كتبت السجلات البابلية في عهد نبوخذنصر واستمر في كتابتها حتى العصر البارثي، من قبل علم…

Salvatore Bocchetti Informasi pribadiTanggal lahir 30 November 1986 (umur 37)Tempat lahir Napoli, ItaliaTinggi 1,86 m (6 ft 1 in)Posisi bermain Bek tengahInformasi klubKlub saat ini Milan(pinjaman dari Spartak Moscow)Nomor 19Karier junior AscoliKarier senior*Tahun Tim Tampil (Gol)2004–2007 Ascoli 2 (0)2005–2006 → Lanciano (pinjaman) 21 (1)2007 → Frosinone (pinjaman) 17 (2)2007–2008 Frosinone 38 (2)2008–2010 Genoa 60 (1)2010–2013 Rubin Kazan 52 (9)2013– Spartak…

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (أبريل 2019) مالكوم كالدويل (بالإنجليزية: Malcolm Caldwell)‏  معلومات شخصية اسم الولادة (بالإنجليزية: James Alexander Malcolm Caldwell)‏  الميلاد 27 سبتمبر 1931   إسكتلندا  الوفاة 23 ديسمب…

British tennis player Frank HadowThe Harrow Hadows, P.F. Hadow in centre.(Hadow family collection)Full namePatrick Francis HadowCountry (sports) United KingdomBorn(1855-01-02)2 January 1855Regent's Park, Middlesex, EnglandDied29 June 1946(1946-06-29) (aged 91)Bridgwater, Somerset, EnglandTurned pro1878 (amateur tour)Retired1878SinglesCareer record6–0 (100%)[1]Career titles1[2]Highest ranking1st (1878)Grand Slam singles resultsWimbledonW (…

German architect and archaeologist (1853–1940) Wilhelm DörpfeldWilhelm DörpfeldBorn26 December 1853Barmen, PrussiaDied25 April 1940(1940-04-25) (aged 86)Lefkada, GreeceNationalityGermanScientific careerFieldsArchaeology Wilhelm Dörpfeld (26 December 1853 – 25 April 1940) was a German architect and archaeologist, a pioneer of stratigraphic excavation and precise graphical documentation of archaeological projects.[1] He is famous for his work on Bronze Age sites around the …

US Army special operations helicopter unit 160th Special Operations Aviation Regiment (Airborne)Regimental distinctive unit insigniaFounded1981; 43 years ago (1981)Country United States of AmericaBranchUnited States ArmyTypeSpecial operations aviationSize2,700Part ofUnited States Army Special Operations Aviation CommandUnited States Army Special Operations CommandUnited States Special Operations Command[1]Garrison/HQFort Campbell, Kentucky, U.S.Nickname(s)Nigh…

First Church and Parish, Dedham MA The First Church and Parish in Dedham is a Unitarian Universalist congregation in Dedham, Massachusetts. It was the 14th church established in Massachusetts.[1] The current minister, Rev. Rali M. Weaver, was called in March 2007, settled in July, and is the first female minister to this congregation. History Dedham was first settled in 1635 and incorporated in 1636. On July 18, 1637, the Town voted to admit a group of very religious men that would radic…

Werner HerzogWerner Herzog di Festival Film Venesia 2009LahirWerner Herzog Stipetić5 September 1942 (umur 81)Munchen, JermanTempat tinggalMunchen, JermanLos Angeles, California, A.S.[1]PekerjaanSutradara, produser, penulis naskah, aktor, naratorTahun aktif1962–sekarangSuami/istriMartje Grohmann ​ ​(m. 1967; c. 1985)​Christine Maria Ebenberger ​ ​(m. 1987; c. 1997)​Lena Pisetski…

Induno Olonacomune Induno Olona – VedutaVisione panoramica del centro storico di Induno Olona, sullo sfondo le Alpi LocalizzazioneStato Italia Regione Lombardia Provincia Varese AmministrazioneSindacoGiorgio Castelli (lista civica Insieme per Induno) dal 10-06-2024[1] TerritorioCoordinate45°51′N 8°50′E45°51′N, 8°50′E (Induno Olona) Altitudine394 m s.l.m. Superficie12,37 km² Abitanti10 305[2] (31-8-2023) Densità833,06 …

この項目では、名古屋を拠点とする武将隊について説明しています。全国のおもてなし武将隊については「おもてなし武将隊」をご覧ください。 名古屋おもてなし武将隊 記念撮影を行う武将隊と陣笠隊(2017年1月)基本情報出身地 日本ジャンル J-POP活動期間 2009年 -レーベル JVCケンウッド・ビクターエンタテインメントポニーキャニオンメンバー 織田信長豊臣秀吉徳川家…

فرار وطرد الألمانمعلومات عامةالبداية 1944 النهاية 1950 المنطقة أوروبا التأثيراتأحد جوانب Federation of Expellees (en) فرع من مقالة عن أحداث في سنة أو فترة زمنية محددة تفرع عنها  القائمة ... طرد الألمان من تشيكوسلوفاكياOperation Black Tulip (en) deportation of Germans from Romania after World War II (en) هروب وطرد الألمان من بو…

Dunga Informasi pribadiNama lengkap Carlos Caetano Bledorn VerriTanggal lahir 31 Oktober 1963 (umur 60)Tempat lahir Ijuí, BrasilTinggi 1,76 m (5 ft 9+1⁄2 in)Posisi bermain Gelandang bertahanKarier senior*Tahun Tim Tampil (Gol)1980–1984 Internacional 10 (0)1984–1985 Corinthians 13 (1)1985–1987 Santos 16 (1)1987 Vasco da Gama 17 (1)1987–1988 Pisa 23 (2)1988–1992 Fiorentina 124 (8)1992–1993 Pescara 23 (3)1993–1995 VfB Stuttgart 54 (7)1995–1998 Júbilo Iwat…

English cricketer and television personality (born 1966) This biography of a living person needs additional citations for verification. Please help by adding reliable sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately from the article and its talk page, especially if potentially libelous.Find sources: Phil Tufnell – news · newspapers · books · scholar · JSTOR (May 2023) (Learn how and when to…

Men's Greco-Roman 100 kgat the Games of the XXIV OlympiadVenueAnaheim Convention CenterDates19–21 SeptemberCompetitors18 from 18 nationsMedalists Andrzej Wroński  Poland Gerhard Himmel  West Germany Dennis Koslowski  United States← 19841992 → Wrestling at the1988 Summer OlympicsFreestyleGreco-Roman48 kg48 kg52 kg52 kg57 kg57 kg62 kg62 kg68 kg68 kg74 kg74 kg82 kg82 kg90 kg90 kg100 kg100 kg130 kg130 kgvte The Men's Greco-Roman 100 kg at the 19…