プログラムの検証理論
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人情報処理学会の論文
- 1976-05-15
著者
関連論文
- プログラムの検証理論
- 「花」ゲーム : 型のある論理に基づく表現と解析 (アルゴリズムにおける証明論)
- A Natural Deduction System for Assertions (アルゴリズムにおける証明論)
- Two Formal Systems for Proving Assertions About Programs (プログラムの基礎理論)
- ALGOL型プログラム言語における意味論と証明論 (プログラムの基礎理論)
- BAOについて (計算機によるパズル・ゲームの研究)