TFOFDeforest
Stratego -- Strategies for Program Transformation
tfof-deforest is a small demo package around a case study into transformation of functional programs, more specifically: on eliminating intermediate trees by deforestation.
Background
Deforestation Theory
Based on Philip Wadler's paper:
P. L. Wadler. Deforestation: transforming programs to eliminate trees. Theoretical Computer Science, 73(2):231--248, 1990.
http://citeseer.ist.psu.edu/wadler90deforestation.html
Type Inferencing Theory
Tiny First-Order Functional language (TFOF)
TFOF Syntax
TFOF Tools
Deforestation
--
ArthurVanDam - 22 Mar 2004
