BS ISO/IEC 10967-1-1994 信息技术.语言的独立算术.整数和浮点算术

作者:标准资料网 时间:2024-05-05 15:16:49  浏览:9805   来源:标准资料网

【英文标准名称】:Informationtechnology-Languageindependentarithmetic-Integerandfloatingpointarithmetic
【原文标准名称】:信息技术.语言的独立算术.整数和浮点算术
【标准号】:BSISO/IEC10967-1-1994
【标准状态】:作废
【国别】:英国
【发布日期】:1995-06-15
【实施或试行日期】:1995-06-15
【发布单位】:英国标准学会(GB-BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:数论;程序设计语言;数学计算;计算机应用;计算机软件;数学运算;软件技术;程序设计;算术运算;合格;计算机程序
【英文主题词】:Arithmetic;Computersoftware;Dataprocessing;Floating-pointarithmetic;Informationtechnology;Interfaces(dataprocessing);Programming;Programminglanguages
【摘要】:ThispartofISO/IEC10967definesthepropertiesofintegerandfloatingpointdatatypesoncom-putersystemstoensurethattheprocessingofarithmeticdatacanbeundertakeninareliableandpredictablemanner.Emphasisisplacedondocumentingtheexistingvariationbetweensystems,notontheeliminationofsuchvariation.TherequirementsofthispartofISO/IEC10967shallbeinadditiontothosethatmaybespecifiedinotherstandards,suchasthoseforprogramminglanguages(Seeclause7).ItisnotthepurposeofthispartofISO/IEC10967toensurethatanarbitrarynumericalfunctioncanbesoencodedastoproduceacceptableresultsonallconformingsystems.Rather,thegoalistoensurethatthepropertiesofarithmeticonaconformingsystemaremadeavailabletotheprogrammer.Therefore,itisnotreasonabletodemandthatasubstantivepieceofsoftwarerunoneveryimple-mentationthatcanclaimconformitytothispartofISO/IEC10967.Animplementormaychooseanycombinationofhardwareandsoftwaresupporttomeetthespeci-ficationsofthispartofISO/IEC10967.Itisthearithmeticenvironment,asseenbytheuser,thatdoesordoesnotconformtothespecifications.Thetermimplementation(ofthispartofISO/IEC10967)denotesthetotalarithmeticenvironment,includinghardware,languageprocessors,exceptionhandlingfacilities,subroutinelibraries,othersoftware,andallpertinentdocumentation.1SpecificationsincludedinthispartofISO/IEC10967ThispartofISO/IEC10967definesintegerandfloatingpointdatatypes.Definitionsareincludedforbounded,unbounded,andmodulointegertypes,aswellasbothnormalizedanddenormalizedfloatingpointtypes.Thespecificationforanarithmetictypeincludesa)Thesetofcomputablevalues.b)Thesetofcomputationaloperationsprovided,including1)primitiveoperations(addition,subtraction,etc.)withoperandsofthesametype,2)comparisonoperationsontwooperandsofthesametype,3)conversionoperationsfromanyarithmetictypetoanyotherarithmetictype,and4)operationsthataccesspropertiesofindividualvalues.c)Program-visibleparametersthatcharacterizethevaluesandoperations.d)Proceduresforreportingarithmeticexceptions.NOTE-A.1.3describesplannedfutureworkinthisarea.2SpecificationsnotwithinthescopeofthispartofISO/IEC10967ThispartofISO/IEC10967providesnospecificationsfora)Arithmeticandcomparisonoperationswhoseoperandsareofmorethanonedatatype.ThispartofISO/IEC10967neitherrequiresnorexcludesthepresenceofsuch"mixedoperand"operations.b)Ageneralunnormalizedfloatingpointdatatype,ortheoperationsonsuchdata.ThispartofISO/IEC10967neitherrequiresnorexcludessuchdataoroperations.c)Anintervaldatatype,ortheoperationsonsuchdata.ThispartofISO/IEC10967neitherrequiresnorexcludessuchdataoroperations.d)Afixedpointdatatype,ortheoperationsonsuchdata.ThispartofISO/IEC10967neitherrequiresnorexcludessuchdataoroperations.e)Arationaldatatype,ortheoperationsonsuchdata.ThispartofISO/IEC10967neitherrequiresnorexcludessuchdataoroperations.f)Thepropertiesofarithmeticdatatypesthatarenotrelatedtothenumericalprocess,suchastherepresentationofvaluesonphysicalmedia.g)Floatingpointvaluesthatrepresentinfinityornon-numericresults.However,specificationsforsuchvaluesaregiveninIEC559.h)Thepropertiesofintegerandfloatingpointdatatypesthatproperlybelonginlanguagestandards.Examplesinclude1)Thesyntaxofliteralsandexpressions.2)Theprecedenceofoperators.3)Therulesofassignmentandparameterpassing.4)Thepresenceorabsenceofautomatictypecoercions.5)Theconsequencesofapplyinganoperationtovaluesofimpropertype,ortouninitializeddata.NOTE-Seeclause7andannexEforadiscu
【中国标准分类号】:L70
【国际标准分类号】:35_060
【页数】:108P.;A4
【正文语种】:英语