76-12 強い意味でのプログラムの検証について
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1976-03-15
著者
関連論文
- 論理型計算モデル (非手続き型プログラミングのための計算モデル)
- ギガビットネットワークの壁 (情報処理最前線)
- Prolog の言語機能詳説 (プログラミング言語 Prolog)
- 論理と論理プログラミング
- プログラム・シンセシス
- 81-04 演繹的なプログラム合成法
- 81-03 PROLOG についての考察
- 76-12 強い意味でのプログラムの検証について
- 75-28 ループを含むプログラムの証明について
- 74-28 仮想化可能な第三世代計算機