| 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)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
SAKABE Toshiki 名古屋大学, 大学院・情報科学研究科, 教授 (60111829)
KUSAKARI Keiichirou 名古屋大学, 大学院・情報科学研究科, 准教授 (90323112)
NISHIDA Naoki 名古屋大学, 大学院・情報科学研究科, 助教 (00397449)
KASUYA Hideto 愛知県立大学, 情報科学部, 講師 (10295579)
|
|---|
| Project Period (FY) |
2006 – 2009
|
| Project Status |
Completed (Fiscal Year 2009)
|
| Budget Amount *help |
¥3,990,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥690,000)
Fiscal Year 2009: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2008: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2007: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2006: ¥1,000,000 (Direct Cost: ¥1,000,000)
|
|---|
| Keywords | 項書換え系 / 関数型言語 / 停止性 / 合流性 / 単純型書換え系 / 定理自動証明 / 潜在帰納法 / 停止性証明 / 滞在帰納法 |
|---|
| Research Abstract |
Guaranteeing the correctness of programs is indispensable for constructing high-reliable systems. This research theoretically progressed methods for investigating properties of programs written by so-called functional languages. Since we use a well-studied program model, called term rewriting systems, it is necessary to fill gaps between the model and real programming languages, some of which are succeeded.
|
