公理的意味論(こうりてきいみろん、Axiomatics Semantics)とは、数理論理学に基づいてプログラムの正当性を証明する手法。ホーア論理と密接に関連している。
カテゴリ: 理論計算機科学 | コンピュータ関連のスタブ項目