| Presentation | 1994/3/9 Catamorphism Based Transformation of Functional Programs Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Accumulations are operators on structured object that proceed their computation on each element of the object keeping some intermediate results.Accumulations are widely used in the design of efficient sequential and parallel programs.The purpose of this paper is to deal with the transformation on accumulations so that more efficient programs can be derived.We formulate accumulations by means of higher order catamorphisms and propose a promotion theorem for accumulations.Some examples are given to explain our method. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Functional Programs / Program Transformation / Accumullation / Higher Order Catamorphism / Promotion |
| Paper # | COMP93-83,SS93-51 |
| Date of Issue |
| Conference Information | |
| Committee | COMP |
|---|---|
| Conference Date | 1994/3/9(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Theoretical Foundations of Computing (COMP) |
|---|---|
| Language | ENG |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Catamorphism Based Transformation of Functional Programs |
| Sub Title (in English) | |
| Keyword(1) | Functional Programs |
| Keyword(2) | Program Transformation |
| Keyword(3) | Accumullation |
| Keyword(4) | Higher Order Catamorphism |
| Keyword(5) | Promotion |
| 1st Author's Name | Zhenjiang Hu |
| 1st Author's Affiliation | Department of Mathematical Engineering and Information Physics, Falcuty of Engineering,University of Tokyo() |
| 2nd Author's Name | Hideya Iwasaki |
| 2nd Author's Affiliation | Educational Computer Centre,University of Tokyo |
| 3rd Author's Name | Masato Takeichi |
| 3rd Author's Affiliation | Department of Mathematical Engineering and Information Physics, Falcuty of Engineering,University of Tokyo |
| Date | 1994/3/9 |
| Paper # | COMP93-83,SS93-51 |
| Volume (vol) | vol.93 |
| Number (no) | 496 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |