高階等式論理に基づいたIF-THEN-WHILEプログラムの等価性の導出
スポンサーリンク
概要
- 論文の詳細を見る
二つのIF-THEN-WHILEプログラムの等価性を判定する方法を提案した.プログラムの等価性を判定することは関数の等価性を判定することであるが, そのためには高階ユニフィケーションが必要である.一階述語論理のユニフィケーションを拡張して, プログラムで使用される関数がある条件を満たすときに, 高階のユニフィケーションを行なえることを示した.等価性の判定の際にλ計算の構文的等価性以外にも, 高階論理に基づいた論理条件にしたがって等価性の判定法を制御することを可能にした.このことにより, より複雑な概念に基づいたプログラム間の等価性についても容易に記述して判定することができるものと思われる.
- 一般社団法人情報処理学会の論文
- 1999-08-15
著者
関連論文
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 高階論理を使ったオブジェクト指向データベースのモデル化
- 論理型オブジェクト指向データベースF-logicの実装と基本概念への考察
- シソーラスにおける語群を用いたキーワード自動抽出法の検討
- 相関を用いたステレオ視による高精度レンジデータ生成法
- 高階等式論理に基づいたIF-THEN-WHILEプログラムの等価性の導出
- λ計算に基づいたC言語の等価性の導出
- 高階論理に基づいたOODBにおける型理論
- プログラムの等価性を半決定する関数についての考察