IEEE 1788-2015 pdf free

IEEE 1788-2015 pdf free.IEEE Standard for Interval Arithmetic.
IEEE 1788 specifies basic interval arithmetic (IA) operations selecting and following one of the conimouly used titatlieniatical interval itiodels. This stan(lard supports the IEEE 754TM floating-point formats of practical use in interval coniputat ioiis. Exception conditions are defined. and standard liandlitig of t)wse con(l it ions is specified. Consisteitey with t lie iiit’rval ijiodel is teiniwred with tiractical cotisideratiotis based oti input from representatives of vendors. devcloiwrs and inaititainers of existing systems.
The standard provides a layer between the hardware and t he programming language levels. It does not itiandate that any operations be iiiipk’iiieiited in hardware. It does not define any realization of the basic operations as functions in a progratnnlillg language.
ihe aim of the standard is to improve the availability of reliable computing in modern hardware and software environments by defining the basic building blocks needed for performing interval arithmetic. There are presently ninny systems for interval arithmetic in use: lack of a standard inhibits development, portability. and ability to verify correctness of codes.
This standard sPifies
Types for interval data based on underlying nunieric forniats, wit Ii a special chLs of type derived front IEEE 754 Hoatitig-poitit formats.
Constructors for intervals fnnii muneric and character sequence data.
Interval comparison relations and other boolean functions of intervals.
Eleiiwtit ary interval functions of intervals.
Conversions between different interval types.
Comiversions between interval types and cxtcrmial representatiolis as text striiigs.
Interval-related exceptional conditions and their handling.
This standard does hot specify
Vhicli nunieric formats supported by the utiderlying system shall have an associated interval type.
[low (for ittipleniemutations supportitig IEEE 754 arithmetic) operations act oil the IEEE 754 status flags. how an iiiipleitwntaiioti rel)rescmIts ititervals at the level of prograinmitig laiigiiage data types or l)it patterlis.
hi this standard three words are used to differeiitiate bctweeii different levels of requirenlelfts and optioliality. as follows:
may indicates a course of action permissible within the limits of (lie standard with no implied preference may” means Is iwrmitted to”);
shalt in(Iica(es mandatory requirements strictly to he followed to conform to (lie standard and from which no deviatkm is permit ted (‘shall” means “is required to’);
should indicates that. among several possilulities, one is recolnlnende(I as particularly suitable, without mentioning or excluding others: or that a certain course of action is preferred hut not necessarily required:or that (in the negative forTh) a certain course of action is deprecated but, not proluibite(t (“should” uijeans is recoitunended to”).
Further:optional indicates features that may be ouiutted, but if provided shall be provided exactly as specified; can is used for stateinetits of possibility and capability (“can” nieTuls “is able to”);might indicates the possibility of a situntiou that could occur, with tie implication of the likelihood of that situation (inight’ nieans coukl possibly);
comprise indicates nwnibers of a set or list are exactly those objects having sonic property. An uuiKjutalifi(N1 consist of nmerelv asserts all members of a set have some property, e.g.. ‘a binary floating—point foruiiat consists of numbers with a terminating binary representation.”“Comprises” means ‘consists exactly of.”
Example introduces text that is informative (is not a requirement of this standard). Such text is set in slanted sanserif font within brackets. !Example. Like this]
1.6 The meaning of conformance
(muse 4 lists the requirements on a conforming implementation in summary form, with references to where these are stated in detail.
1,7 Programming environment considerations
i’liis stamidard dots not define all aspects of a coiiformmuiiig prograumlumling enviromnumeuit. Sudi behavior should be deflited by a programmuumiuig language (lefimntion supportimig this standard, if available; otherwise by a particular iinplenmemitatiomi. Sommie pwgramnlning laitgiiage specifications might l)ermnht 5011w behaviors to be defined by Ihe implemneniatioui.
Language—defluteci behavior should lx’ defined by a prograhmuumllng language standard slipportitig this stun— danl. Standards for lamigtuages iuiteinled to reproduce results exactly on all platforms are expecte(l to specify behavior uitore I iglut ly bait do st.aul(lards for languages iIut.cIude(l to iiinxiniii.e iwrfortutancc oti every plat— fortut.IEEE 1788 pdf free download.