2008 Fiscal Year Self-evaluation Report

Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Program

Research Project

Project/Area Number	18500011
Research Category	Grant-in-Aid for Scientific Research (C)
Allocation Type	Single-year Grants
Section	一般
Research Field	Fundamental theory of informatics
Research Institution	Nagoya University
Principal Investigator	SAKAI Masahiko Nagoya University, 大学院・情報科学研究科, 教授 (50215597)
Project Period (FY)	2006 – 2009
Keywords	項書換え系 / 関数型言語 / 停止性 / 合流性 / 定理自動証明
Research Abstract	本研究の目的は、項書換え系においてこれまでに得られている種々の理論的結果を関数型言語に適用する上で妨げとなっているギャップを取り除くことにある。項書換え系と関数型言語のギャップとしては、高階性、優先順序、エラー処理、モジュール機能などが挙げられる。一方、項書換え系での理論的研究としては、停止性、合流性、計算戦略、定理自動証明、E単一化、プログラム変換等が挙げられる。本研究は上で述べたギャップを取り除くため、理論の側面から研究し、実用化の道筋をつけるものである。

(5 results)