2001 Fiscal Year Final Research Report Summary
Implementation of a Program Calculation System
| Project/Area Number |
10558041
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 展開研究 |
|---|
| Research Field |
計算機科学
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
TAKEICHI Masato Graduate School of Engineering, The University of Tokyo, Professor, 大学院・工学系研究科, 教授 (10011165)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
ONOUE Yoshiyuki Graduate School of Engineering, The University of Tokyo, Research Assistant, 大学院・工学系研究科, 助手 (80292770)
TANAKA Tetsuro Information Technology Center, The University of Tokyo, Associate Professor, 情報基盤センター, 助教授 (60251360)
HU Zhenjiang Graduate School of Engineering, The University of Tokyo, Associate Professor, 大学院・工学系研究科, 助教授 (50292769)
TAKANO Akihiko National Institute of Informatics, Software Research Division, Professor, ソフトウェア研究系, 教授
|
|---|
| Project Period (FY) |
1998 – 2000
|
| Keywords | Program Calculation / Fusion Transformation / Calculation / Algorithm / Functional Programming |
|---|
| Research Abstract |
Our research aims at implementing a program calculator based on Constructive Algorithmics which establishes a methodology for practical transformation systems. We had proposed a technique for program transformation based on algebraic rules which leads to formulation of transformation algorithms and we implemented the HYLO calculator system as our research project. Our calculator deals with fusion transformation which is effectively used in functional programs. The final stage of this research conducted this year finishes implementation of the HYLO system with evaluation using benchmark programs. The result shows practical effectiveness of the calculation system based on Constructive Algorithmics. The HYLO system can be used through the WEB page.
|
