美利体育登录入口官网:ISO/IEC 8652:2012
信息技术.程序设计语言.Ada
Information technology - Programming languages - Ada
- 标准号
- ISO/IEC 8652:2012
- 发布
- 2012年
- 国际标准分类(ICS)
- 35.060 信息技术用语言
- 总页数
- 854页
- 发布单位
- 国际标准化组织
- 替代标准
- ISO/IEC 8652:2012/Cor 1:2016
- 当前最新
- ISO/IEC 8652:2023
- 引用标准
- ISO/IEC 10646:2011
- 本体
- 程序 语法
- 适用范围
- 本国际标准规定了用 Ada 编写的程序的形式和含义。其目的是提高 Ada 程序在各种计算系统上的可移植性。
| 术语 | 描述 |
|---|---|
| 语法规则 Syntax Rules | Rules that define the structure of Ada programs. |
| 合法性规则 Legality Rules | Rules that are enforced at compile time to ensure the program is legal. |
| 静态语义 Static Semantics | The compile-time effect of each construct in Ada. |
| 动态语义 Dynamic Semantics | The run-time effect of each construct in Ada. |
| 错误执行 Erroneous Execution | Situations that result in unpredictable behavior during program execution. |