ISO/IEC 8652-1995 信息技术程序设计语言Ada

作者:标准资料网 时间:2024-05-25 12:11:04  浏览:8818   来源:标准资料网

【英文标准名称】:Informationtechnology-Programminglanguages-Ada
【原文标准名称】:信息技术程序设计语言Ada
【标准号】:ISO/IEC8652-1995
【标准状态】:作废
【国别】:国际
【发布日期】:1995-02
【实施或试行日期】:
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/IECJTC1
【标准类型】:()
【标准水平】:()
【中文主题词】:计算机软件;程序交换;程序设计语言;程序结构;程序设计;命令结构;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/spacepropertiesoftheexecutionofcertainlanguagecons
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:671P.;A4
【正文语种】:英语