| Project/Area Number |
07458053
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
計算機科学
|
|---|
| Research Institution | University of Tokyo |
|---|
Principal Investigator |
TAKEICHI Masato University of Tokyo, Graduate School of Engineering, Professor, 大学院・工学系研究科, 教授 (10011165)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
TANAKA Tetsuro University of Tokyo, Educatoinal Computer Center, Assistant Professor, 教育用計算機センター, 助教授 (60251360)
KANEKO Keiichi Chiba University , Faculty of Engineering, Lecturer, 工学部, 講師 (20194904)
IWASAKI Hidaya University of Tokyo, Agriculture and Technology, Fuculty of Engineering, Assista, 工学部, 助教授 (90203372)
|
|---|
| Project Period (FY) |
1995 – 1996
|
| Project Status |
Completed (Fiscal Year 1996)
|
| Budget Amount *help |
¥5,100,000 (Direct Cost: ¥5,100,000)
Fiscal Year 1996: ¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1995: ¥3,100,000 (Direct Cost: ¥3,100,000)
|
|---|
| Keywords | Programming Methodology / Lazy Evaluation / Partial Evaluation / Program Transformation / Program Evolution |
|---|
| Research Abstract |
This project aims at development of the mechanism for self-organization of computer programs. Self-optimizing property of fully lazy evaluation of functional programs is our starting point of this project. Implementation of a partial evaluator based on this approach shows that the idea is promising while much work remains to be done for making it practical.
In Addition to this approach, a novel idea for program transformation system has been explored and implemented for evaluation. Although most program transformation systems so far relies on heuristics, our new system is completely mechanical. It is based on hylomorphisms which comes from research on constructive algorithmics. Algorithms for implementation have been developed and the system HYLO is worked out.
These results have been made public at international conferences and published in the proceedings.
|
