Research Projects

1999 - 2001

Implementation of Program Calculator System

Ministry of Education, Culture, Sports, Science and Technology  Grants-in-Aid for Scientific Research(基盤研究(B))  基盤研究(B)

Grant number
11694130
Japan Grant Number (JGN)
JP11694130
Authorship
Principal investigator
Grant amount
(Total)
9,600,000 Japanese Yen
(Direct funding)
9,600,000 Japanese Yen
(Indirect funding)
0 Japanese Yen
Grant type
Competitive

Our research aims at collaborating with Oxford group for designing a practical program transformation system based on Constructive Algorithmics which establishes a methodology for practical transformation systems. We had proposed a Technique for implementing transformation based on algebraic rules which lead to formulation of transformation algorithms and we implemented the system as our research project. Our system deals with fusion transformation which is effectively used for functional programs. The final stage of this research conducted this year finishes implementation of the system HY...

Link information
URL
http://kaken.nii.ac.jp/d/p/11694130.ja.html
KAKEN
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-11694130
ID information
  • Grant number : 11694130
  • Japan Grant Number (JGN) : JP11694130