信息技术 编程语言 Ada

[中文适用范围]： 本文档规定了用 Ada 编写的程序的形式和含义。其目的是提高 Ada 程序在各种计算系统中的可移植性。本文档规定了： — 用 Ada 编写的程序的形式； — 翻译和执行此类程序的效果； — 组合程序单元以形成 Ada 程序的方式； — 符合要求的实现必须提供的语言定义的库单元； — 符合本文档规则的允许变化及其记录方式； — 符合要求的实现必须检测的违反本文档要求的行为，以及尝试翻译或执行包含此类违规行为的程序的效果； — 符合要求的实现无需检测的违反本文档要求的行为。本文档未规定： — 将用 Ada 编写的程序转换为处理器可执行的目标代码的方法； — 调用程序的翻译或执行以及控制执行单元的方法； — 目标代码的大小或速度，或不同语言结构的相对执行速度； — 实现产生的任何列表的形式或内容；特别是错误或警告消息的形式或内容； — 未指定的执行的效果； — 程序或程序单元的大小将超出特定符合实现的容量。 [外文原描述]： This document specifies the form and meaning of programs written in Ada. Its purpose is to promote the portability of Ada programs to a variety of computing systems. This document specifies: — The form of a program written in Ada; — The effect of translating and executing such a program; — The manner in which program units can be combined to form Ada programs; — The language-defined library units that a conforming implementation is required to supply; — The permissible variations in conformance to the rules of this document, and the manner in which they are to be documented; — Those violations of the requirements of this document that a conforming implementation is required to detect, and the effect of attempting to translate or execute a program containing such violations; — Those violations of the requirements of this document that a conforming implementation is not required to detect. This document does not specify: — The means whereby a program written in Ada is transformed into object code executable by a processor; — The means whereby translation or execution of programs is invoked and the executing units are controlled; — The size or speed of the object code, or the relative execution speed of different language constructs; — The form or contents of any listings produced by implementations; in particular, the form or contents of error or warning messages; — The effect of unspecified execution; — The size of a program or program unit that will exceed the capacity of a particular conforming implementation.