generated at
ホーア論理
Hoare logic
構造化プログラミング - 公理的意味論 - プログラム検証
第一階述語論理 - 自然演繹
Pascal
Communicating Sequential Processes
契約による設計
述語変換意味論
静的コード解析
カリー・ハワード同型対応 - マーティン＝レーフの型理論（表明の代わりに型を利用したもの）
関連人物
エドガー・ダイクストラ
ニクラウス・ヴィルト
ペール・マルティン＝レーフ

ホーア論理 - Wikipedia