ISO/IEC 8652:2023 情報技術 — プログラミング言語 — Ada

ISO/IEC8652:2023の規格概要

閲覧 情報

Information technology — Programming languages — Ada

この文書は、Ada で書かれたプログラムの形式と意味を指定します。

その目的は、Ada プログラムのさまざまなコンピューティング システムへの移植性を促進することであり、この文書では次のことが規定されています:- Ada で書かれたプログラムの形式; - そのようなプログラムを翻訳および実行する効果; - プログラム ユニットがどのように実行できるかAda プログラムを形成するために結合されること; - 適合する実装が提供する必要がある言語定義のライブラリ単位; - この文書の規則に準拠する際の許容されるバリエーション、およびそれらが文書化される方法; - それらの違反適合する実装が検出する必要があるこの文書の要件の、およびそのような違反を含むプログラムの変換または実行を試行した場合の影響。

— 適合する実装が検出する必要のない、この文書の要件の違反。

- Ada で書かれたプログラムがプロセッサによって実行可能なオブジェクト コードに変換される手段;- プログラムの変換または実行が呼び出され、実行ユニットが制御される手段;- オブジェクトのサイズまたは速度コード、またはさまざまな言語構造の相対的な実行速度。

- 実装によって生成されるリストの形式または内容。

特に、エラーまたは警告メッセージの形式または内容、- 不特定の実行による影響、- 特定の適合実装の容量を超えるプログラムまたはプログラム単位のサイズ。

※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。