Deforestation Transforming Programs To Eliminate Trees

Program-Transformation.Org: The Program Transformation Wiki
PhilipWadler. Deforestation: Transforming Programs to Eliminate Trees. European Symposium on Programming (ESOP'88), Nancy, France. Lecture Notes in Computer Science, 344--358, volume 300, Berlin, Springer-Verlag, 1988. http://citeseer.nj.nec.com/wadler90deforestation.html

Abstract

An algorithm that transforms programs to eliminate intermediate trees is presented. The algorithm applies to any term containing only functions with definitions in a given syntactic form, and is suitable for incorporation in an optimising compiler. Intermediate lists---and, more generally, intermediate trees---are both the basis and the bane of a certain style of programming in functional languages.


CategoryPaper | -- EelcoVisser - 14 May 2001

Deforestation.ppt.gz (Presentation (pwt) deforestation (dutch))

Deforestation.ppt.gz (Presentation of deforestation in powerpoint(dutch))

slides.ps.gz (Transformationrules deforestation algoritm (dutc )

I Attachment sort Action Size Date Who Comment
Deforestation.ppt.gz manage 10.1 K 08 Jun 2001 - 12:33 TWikiGuest Presentation of deforestation in powerpoint(dutch)
slides.ps.gz manage 14.5 K 08 Jun 2001 - 12:35 TWikiGuest Transformationrules deforestation algoritm (dutc