| 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, ソフトウェア研究系, 教授
岩崎 英哉 東京大学, 大学院・工学系研究科, 助教授 (90203372)
高野 昭彦 株式会社, 日立製作所・基礎研究所, 主任研究員
|
|---|
| Project Period (FY) |
1998 – 2000
|
| Project Status |
Completed (Fiscal Year 2001)
|
| Budget Amount *help |
¥10,700,000 (Direct Cost: ¥10,700,000)
Fiscal Year 2000: ¥2,200,000 (Direct Cost: ¥2,200,000)
Fiscal Year 1999: ¥3,700,000 (Direct Cost: ¥3,700,000)
Fiscal Year 1998: ¥4,800,000 (Direct Cost: ¥4,800,000)
|
|---|
| 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.
|
