プログラムの等価性を半決定する関数についての考察
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 2006-10-15
著者
関連論文
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 論理型オブジェクト指向データベースF-logicの実装と基本概念への考察
- シソーラスにおける語群を用いたキーワード自動抽出法の検討
- 相関を用いたステレオ視による高精度レンジデータ生成法
- 高階等式論理に基づいたIF-THEN-WHILEプログラムの等価性の導出
- λ計算に基づいたC言語の等価性の導出
- 高階論理に基づいたOODBにおける型理論
- プログラムの等価性を半決定する関数についての考察