Ada(プログラミング言語)
1970年代後半にアメリカ国防総省の主導で標準化された、強い型付けと高信頼性を重視する汎用プログラミング言語。最新標準はAda 2022。
- 概念URI
https://comcomponent.com/knowledge/ada/- 別名・表記
- Ada言語 / Ada 2022
- 下位概念
- 契約による設計(Pre/Post)
- 最終確認日
- 2026-08-01
- 機械可読データ
- JSON-LD
この概念が関わる関係
- Ada(プログラミング言語)はAdaのジェネリック(総称単位)の実装を担います。Adaは1983年の最初の標準からジェネリック(総称単位)を言語機能として備えている。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- GNATはAda(プログラミング言語)の実装を担います。GNATはAda言語のコンパイラとしての実装を担う、代表的な処理系である。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- Ada(プログラミング言語)はAdaの強い型付けの実装を担います。Adaは構造が同じでも別名で宣言した型を別の型として扱う強い型付けを実装しており、単位を表す型同士の混用をコンパイルエラーにする。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- Ada(プログラミング言語)は範囲制約(range constraint)の実装を担います。Adaは型に値の範囲を持たせ、違反を実行時にConstraint_Error例外として検出する範囲制約を実装している。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- Ada(プログラミング言語)はAdaのパッケージ(仕様部/本体分離)の実装を担います。Adaは仕様部(.ads)と本体(.adb)を分離するパッケージを、モジュール機構として実装している。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- Ada(プログラミング言語)はAdaのジェネリック(総称単位)の実装を担います。Adaは1983年の最初の標準からジェネリックを実装しており、C++のテンプレートやJavaのジェネリクスより早い時期から備えている。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- Ada(プログラミング言語)は契約による設計(Pre/Post条件)の実装を担います。Ada 2012では、事前条件(Pre)・事後条件(Post)・型不変条件による契約による設計が言語仕様に組み込まれた。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- Ada(プログラミング言語)はAdaのタスク(並行処理)の実装を担います。Adaは1983年の時点で、並行処理をOSのAPIに頼らず言語仕様の一部としてタスクを実装していた。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- Ada(プログラミング言語)はAdaとC/C++の相互運用(Annex B)の実装を担います。AdaはC・Fortranなど他言語とのインターフェースを、参照マニュアルの附属書Bとして標準化している。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- SPARKはAda(プログラミング言語)を前提とします。SPARKはAdaのサブセット(部分言語)として定義され、プログラムの性質を実行せずに数学的に証明できるように設計されている。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- GNATはAda(プログラミング言語)の実装を担います。GNATはGCCに含まれる無償のAdaコンパイラで、Ada言語の処理系としての実装を担う。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- SPARKはAda(プログラミング言語)を利用します。SPARKはAdaの言語仕様、特にAda 2012で追加された契約(Pre/Post)機能を土台として作られている / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- GNATproveはAda(プログラミング言語)を前提とします。GNATproveはGNATツールチェーンに同梱されて提供され、Adaのコンパイル環境を前提とする / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- Ada(プログラミング言語)はAlireで構成できます。GNATツールチェーンを使う場合、Ada/SPARKはAlireというソースベースのパッケージマネージャーで導入・構成できる / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
- Adaのタスク(並行処理)はAda(プログラミング言語)を前提とします。タスクは1983年のAda 83以来、Adaの言語仕様に組み込まれた並行処理の機能である / 確度: 確立した関係 / 確認日: 2026-08-01 出典
- 保護オブジェクト(protected object)はAda(プログラミング言語)を前提とします。保護オブジェクトはAda 95で追加された、言語管理の排他制御を提供するAdaの機能である / 確度: 確立した関係 / 確認日: 2026-08-01 出典
この概念を扱う記事
一次資料
このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。