BS ISO/IEC 8652-2001 编程语言.Ada语言

作者:标准资料网 时间:2024-05-20 01:38:37  浏览:8371   来源:标准资料网

【英文标准名称】:Programminglanguages-Ada
【原文标准名称】:编程语言.Ada语言
【标准号】:BSISO/IEC8652-2001
【标准状态】:现行
【国别】:英国
【发布日期】:2001-11-02
【实施或试行日期】:2001-11-02
【发布单位】:英国标准学会(BSI)
【起草单位】:BSI
【标准类型】:()
【标准水平】:()
【中文主题词】:数据处理;语义学;程序设计语言;高级语言;句法;程序设计;输入输出程序;计算机软件;ADA语言;字符集
【英文主题词】:Ada;Artificiallanguages;Commandstructure;Computersoftware;Dataprocessing;Informationtechnology;Programarchitecture;Programinterchange;Programming;Programminglanguages
【摘要】:ThisInternationalStandardspecifiestheformandmeaningofprogramswritteninAda.ItspurposeistopromotetheportabilityofAdaprogramstoavarietyofdataprocessingsystems.1ExtentThisInternationalStandardspecifies:·TheformofaprogramwritteninAda;·Theeffectoftranslatingandexecutingsuchaprogram;·ThemannerinwhichprogramunitsmaybecombinedtoformAdaprograms;·Thelanguage-definedlibraryunitsthataconformingimplementationisrequiredtosupply;·Thepermissiblevariationswithinthestandard,andthemannerinwhichtheyaretobedocumented;·Thoseviolationsofthestandardthataconformingimplementationisrequiredtodetect,andtheeffectofattemptingtotranslateorexecuteaprogramcontainingsuchviolations;·Thoseviolationsofthestandardthataconformingimplementationisnotrequiredtodetect.ThisInternationalStandarddoesnotspecify:·ThemeanswherebyaprogramwritteninAdaistransformedintoobjectcodeexecutablebyaprocessor;·Themeanswherebytranslationorexecutionofprogramsisinvokedandtheexecutingunitsarecontrolled;·Thesizeorspeedoftheobjectcode,ortherelativeexecutionspeedofdifferentlanguageconstructs;·Theformorcontentsofanylistingsproducedbyimplementations;inparticular,theformorcontentsoferrororwarningmessages;·Theeffectofunspecifiedexecution.·Thesizeofaprogramorprogramunitthatwillexceedthecapacityofaparticularconformingimplementation.2StructureThisInternationalStandardcontainsthirteensections,fourteenannexes,andanindex.ThecoreoftheAdalanguageconsistsof:·Sections1through13·AnnexA,"PredefinedLanguageEnvironment"·AnnexB,"InterfacetoOtherLanguages''·AnnexJ,"ObsolescentFeatures"ThefollowingSpecializedNeedsAnnexesdefinefeaturesthatareneededbycertainapplicationareas:·AnnexC,"SystemsProgramming"·AnnexD,"Real-TimeSystems"·AnnexE,"DistributedSystems"·AnnexF,"InformationSystems"·AnnexG,"Numerics''·AnnexH,''SafetyandSecurity''ThecorelanguageandtheSpecializedNeedsAnnexesarenormative,exceptthatthematerialineachoftheitemslistedbelowisinformative:·TextunderaNOTESorExamplesheading.·Eachclauseorsubclausewhosetitlestartswiththeword"Example"or"Examples".Allimplementationsshallconformtothecorelanguage.Inaddition,animplementationmayconformseparatelytooneormoreSpecializedNeedsAnnexes.ThefollowingAnnexesareinformative:·AnnexK,"Language-DefinedAttributes"·AnnexL,''Language-DefinedPragmas''·AnnexM,"Implementation-DefinedCharacteristics"·AnnexN,"Glossary"·AnnexP,"SyntaxSummary"Eachsectionisdividedintoclausesandsubclausesthathaveacommonstructure.Eachsection,clause,andsubclausefirstintroducesitssubject.Aftertheintroductorytext,textislabeledwiththefollowingheadings:SyntaxSyntaxrules(indented).NameResolutionRulesCompile-timerulesthatareusedinnameresolution,includingoverloadresolution.LegalityRulesRulesthatareenforcedatcompiletime.AconstructislegalifitobeysalloftheLegalityRules.StaticSemanticsAdefinitionofthecompile-timeeffectofeachconstruct.Post-CompilationRulesRulesthatareenforcedbeforerunningapartition.ApartitionislegalifitscompilationunitsarelegalanditobeysallofthePost-CompilationRules.DynamicSemanticsAdefinitionoftherun-timeeffectofeachconstruct.Bounded(Run-Time)ErrorsSituationsthatresultinbounded(run-time)errors(see1.1.5).ErroneousExecutionSituationsthatresultinerroneousexecution(see1.1.5).ImplementationRequirementsAdditionalrequirementsforconformingimplementations.DocumentationRequirementsDocumentationrequirementsforconformingimplementations.MetricsMetricsthatarespecifiedforthetime/spacepropertiesoftheexecutionofcertainlanguageconstruc
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:602P;A4
【正文语种】:英语