タグ「ProgrammingLanguage」の記事
「ProgrammingLanguage」タグが付いた記事の一覧です(5件)。新しい順に掲載しています。
-
Adaのジェネリックプログラミング ── 型で契約を書き、再利用をゼロコストで実現する
Adaのジェネリックプログラミングを、総称サブプログラム、総称パッケージ、仮サブプログラム、型カテゴリ、正式パッケージパラメータ、実務上の設計指針まで体系的に解説します。Mermaid図と実例を交え、型安全な再利用とゼロコスト抽象化の考え方を整理します。
-
Adaによるリアルタイムシステムプログラミング ── 優先度・周期・実行時間制御の実践
Ada の Annex D（リアルタイムシステム）が提供するリアルタイム機能——タスク優先度、Ceiling_Locking プロトコル、delay until による周期実行、Ravenscar プロファイル、タイミングイベント、保護キュー、タスク別実行時間計測、マルチ周期統合——を 8 つの実践的なコード例で...
-
Adaにおける安全な並行処理 ── タスクと保護オブジェクトの実践ガイド
Adaの言語組み込み並行処理であるタスクと保護オブジェクトの実践的な入門記事です。ランデブー(entry/accept)、選択的アクセプト、プロデューサー・コンシューマー、保護オブジェクトによる排他制御、バリア付き保護エントリ、タイムアウト付き呼び出し、タスク優先度とリアルタイムスケジューリングまで、安全な並行処...
-
SPARKによる形式検証入門 ── Adaの契約から数学的証明へ
Adaのサブセット言語SPARKによる形式検証の実践的な入門記事です。契約(Pre/Post)から証明へステップアップする方法、GNATproveの使い方、ループ不変条件、データフロー契約、証明レベル、そして実プロジェクトへの適用方法までを整理します。
-
Ada言語の魅力 ── 型で設計を語り、数十年動き続けるソフトウェアを支える言語
Ada言語の魅力を紹介します。強い型付け、範囲制約、パッケージによる仕様と実装の分離、契約による設計、言語組み込みのタスク、SPARKによる形式検証、GNATとAlireでの開発環境まで、高信頼ソフトウェアを支える設計思想を整理します。