ISO/IEC 8652:2023 信息技术 程序设计语言 Ada

标准编号：ISO/IEC 8652:2023

中文名称：信息技术 程序设计语言 Ada

英文名称：Information technology — Programming languages — Ada

发布日期：2023-05

标准范围

ISO/IEC 8652:2023本文档规定了用Ada编写的程序的形式和含义。其目的是促进Ada程序对多种计算系统的可移植性。本文件规定:-用Ada编写的程序的形式；-翻译和执行这样的程序的效果；-程序单元可以组合以形成Ada程序的方式；-一致实现需要提供的语言定义的库单元；-符合本文件规则的允许变更及其记录方式；-需要符合的实现来检测的违反本文档要求的行为，以及试图翻译或执行包含此类违反行为的程序的影响；-不需要一致实施来检测的违反本文件要求的行为。本文件未规定:-将用Ada编写的程序转换成可由处理器执行的目标代码的装置；-调用程序的翻译或执行并控制执行单元的装置；-目标代码的大小或速度，或不同语言构造的相对执行速度；-由实现产生的任何列表的形式或内容；特别是错误或警告消息的形式或内容；-未指明执行的效果；-程序或程序单元的大小将超过特定符合的实现的容量。

ISO/IEC 8652:2023 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.

标准预览图