A translation from attribute grammers to catamorphisms. Squiggolist (1990)

by M Fokkinga, J Jeuring, L Meertens, E Meijer
Results 1 - 2 of 2

Calculating Accumulations

by Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi , 1999
"... 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 ..."
Abstract - Cited by 16 (6 self) - Add to MetaCart
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.

Catamorphism-Based Transformation of Functional Programs

by Zhenjiang Hu Hideya, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi , 1994
"... this paper ..."
Abstract - Add to MetaCart
this paper