Wiki
Support
mar.io
公理的意味論
公理的意味論
(こうりてきいみろん、Axiomatic Semantics)とは、
数理論理学
に基づいてプログラムの正当性を証明する手法。
ホーア論理
と密接に関連している。
関連項目
代数的意味論
(英語版)
プログラム意味論
述語変換意味論
表示的意味論
操作的意味論
表明 (プログラミング)
表示
編集
ToC
関連項目
Trending
山﨑福也
愛甲千笑美
霧島鐵力
森崎ウィン
豊臣秀頼
前田裕二
井口理
伊集院静
勢喜遊
ビートたけし
旭富士正也
キタサンブラック
Recent Change
ルドルフ・バッヒャー
鄭麟趾
ニッセイ浜松町クレアタワー
日本生命浜松町クレアタワー
上田常光
スペーシアX (列車)
津波避難タワー
命山
中勢 (曖昧さ回避)
オムカル プラサド バイディア
オルモ・ロック
スポーツベット・アイオー