Deforestation (computer science): Difference between revisions
Appearance
Content deleted Content added
rvv |
|||
Line 27: | Line 27: | ||
== See also == |
== See also == |
||
* [[Hylomorphism (computer |
* [[Hylomorphism (computer science)]] |
||
== References == |
== References == |
||
Line 34: | Line 34: | ||
{{compu-prog-stub}} |
{{compu-prog-stub}} |
||
[[ |
[[Category:Functional programming]] |
||
[[ |
[[Category:Programming language implementation]] |
Revision as of 18:10, 13 November 2007
In the theory of programming languages in computer science, deforestation (also known as fusion) is a program transformation to eliminate tree structures.
The term "deforestation" was originally coined by Philip Wadler in his paper "Deforestation: transforming programs to eliminate trees"[1].
Deforestation is typically applied to programs in functional programming languages, particularly non-strict programming languages such as Haskell. One particular algorithm for deforestation, shortcut deforestation[2], is implemented in the Glasgow Haskell Compiler.[3]
See also
References
- ^ Wadler, Philip (1990). "Deforestation: transforming programs to eliminate trees". Theoretical Computer Science. 73: 231–248.
- ^ Gill, Andrew (1993). "A short cut to deforestation". Proc. Conf. on Functional Programming Languages and Computer Architecture. pp. 223–232.
{{cite conference}}
: Unknown parameter|booktitle=
ignored (|book-title=
suggested) (help); Unknown parameter|coauthors=
ignored (|author=
suggested) (help) - ^ Peyton Jones, Simon (2001). "Playing by the rules: rewriting as a practical optimization technique in GHC". Proc. ACM/SIGPLAN Haskell Workshop.
{{cite conference}}
: Unknown parameter|booktitle=
ignored (|book-title=
suggested) (help); Unknown parameter|coauthors=
ignored (|author=
suggested) (help)