完備化手続きによるプログラム融合変換の停止条件
スポンサーリンク
概要
- 論文の詳細を見る
関数型プログラミング言語におけるプログラム融合変換では、変換手続きの停止性に関して様々な研究がなされている。一方、項書き換え系においては完備化手続きをもちいると融合変換が実現できることが知られている。しかし、完備化手続きを直接もちいたプログラム融合変換の停止条件については、ほとんど知られていない。本研究では、完備化手続きをもちいたプログラム融合変換手続きの停止条件を考察し、変換手続きを改良するとともに、その停止性を保証する。
- 社団法人電子情報通信学会の論文
- 2003-03-11