項書換え系としての論理プログラム
スポンサーリンク
概要
- 論文の詳細を見る
論理プログラムの操作的意味論を条件付き項書換え系におけるナローイングで与えることを通じて,関数論理型言語と呼ばれるプログラミング言語のクラスが論理型言語の上位集合となれることを理論的に明らかにする.まず,メンバシップ条件付き項書換え系を拡張した新たな条件付き項書換え系を与え,このような条件付き項書換え系のあるクラスは関数論理型言語のプログラムとして適当であることを示す.次に,論理プログラムから,関数論理型言語のプログラムとみなせる条件付き項書換え系への変換を与え,この条件付き項書換え系のクラスにおけるナローイングが論理プログラムの健全かつ完全な操作的意味論を与えることを示す.また,既存の関数論理型言語の計算モデルに対しても,そのような変換を与えることが可能であることを示す.本論文で与えた条件付き項書換え系のクラスは,論理型言語の上位集合である関数論理型言語を具体的に与えるだけでなく,既存の関数論理型言語を拡張する方法をも与えている.
- 一般社団法人日本ソフトウェア科学会の論文
- 1997-11-17
著者
関連論文
- 補関数の生成による複製機能付きプログラムの自動双方向化
- 作用型項書換え系に基づく関数論理言語の設計と実装
- コンビナトリー項書換え系に基づく関数論理型言語の設計と実装
- 高階書換え系の停止性のための代数モデル(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- Σモノイド : メタ変数と明示的環境を持つ高階構文(サイバー増大ページ論文概要,サイバー増大号)
- 項書換え系としての論理プログラム