Calculating Accumulations (1999)
Cached
Download Links
- [www.ipl.t.u-tokyo.ac.jp]
- [www-sop.inria.fr]
- [www.keisu.t.u-tokyo.ac.jp]
- DBLP
Other Repositories/Bibliography
by
Zhenjiang Hu
,
Hideya Iwasaki
,
Masato Takeichi
| Citations: | 16 - 6 self |
BibTeX
@MISC{Hu99calculatingaccumulations,
author = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi},
title = {Calculating Accumulations},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper, we shall formulate accumulations as higher order catamorphisms , and propose several general transformation rules for calculating accumulations (i.e., finding and manipulating accumulations) by calculation-based (rather than a search-based) program transformation methods. Some examples are given for illustration.
