公理的意味論

出典: フリー百科事典『ウィキペディア（Wikipedia）』
移動: 案内、 検索

公理的意味論（こうりてきいみろん、Axiomatics Semantics）とは、数理論理学に基づいてプログラムの正当性を証明する手法。ホーア論理と密接に関連している。

関連項目 [編集]


執筆の途中です この項目は、コンピュータに関連した書きかけの項目です。この記事を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。
「http://ja.wikipedia.org/w/index.php?title=公理的意味論&oldid=46763013」から取得