2008 Fiscal Year Self-evaluation Report
Study on Rewriting Theory for Analysis, Verification and Efficient Execution of Functional Program
| 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単一化、プログラム変換等が挙げられる。
本研究は上で述べたギャップを取り除くため、理論の側面から研究し、実用化の道筋をつけるものである。
|
