Deforestation (computer science)
- Deforestation (computer science)
-
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 (2): 231–248. doi:10.1016/0304-3975(90)90147-A. http://homepages.inf.ed.ac.uk/wadler/papers/deforest/deforest.ps.
- ^ Gill, Andrew; John Launchbury, Simon Peyton Jones (1993). "A short cut to deforestation". Proc. Conf. on Functional Programming Languages and Computer Architecture. pp. 223–232.
- ^ Peyton Jones, Simon; Andrew Tolmach, C.A.R. Hoare (2001). "Playing by the rules: rewriting as a practical optimization technique in GHC". Proc. ACM/SIGPLAN Haskell Workshop.
Categories:
- Programming language topic stubs
- Implementation of functional programming languages
Wikimedia Foundation.
2010.
Look at other dictionaries:
Hylomorphism (computer science) — In computer science, and in particular functional programming, a hylomorphism is a recursive function, corresponding to the composition of an anamorphism (which first builds a set of results; also known as unfolding ) and a catamorphism (which… … Wikipedia
Deforestation (disambiguation) — Deforestation may refer to: Deforestation, the removal of forest cover as a result of human activity Deforestation (album) Deforestation (computer science) This disambiguation page lists articles associated with the same title. If an … Wikipedia
Deforestation — For other uses, see Deforestation (disambiguation). Jungle burned for agriculture in southern Mexico … Wikipedia
Deforestation in Brazil — A NASA satellite observation of deforestation near Rio Branco in Brazil observed July 28, 2000 … Wikipedia
Glossary of environmental science — This is a glossary of environmental science.Environmental science is the study of interactions among physical, chemical, and biological components of the environment. Environmental science provides an integrated, quantitative, and… … Wikipedia
Gilberto Camara — Infobox Scientist box width = name = Gilberto Câmara image width = 200px caption = Gilberto Câmara, January 2005 birth date = March 29, 1956 birth place = Fortaleza, Ceará, Brazil death date = death place = residence = citizenship = nationality … Wikipedia
List of Guggenheim Fellowships awarded in 2008 — U.S. and Canadian FellowsA* Len Ackland, Associate Professor, School of Journalism and Mass Communication, University of Colorado, Boulder: Nuclear power at a crossroads. * Martha Ackmann, Writer, Leverett, Massachusetts; Senior Lecturer in… … Wikipedia
Italy — Italia redirects here. For other uses, see Italia (disambiguation). This article is about the republic. For other uses, see Italy (disambiguation). Italian Republic … Wikipedia
Curitiba — For the plant genus, see Curitiba prismatica. Curitiba Municipality The Municipality of Curitiba … Wikipedia
Compiler optimization — is the process of tuning the output of a compiler to minimize or maximize some attributes of an executable computer program. The most common requirement is to minimize the time taken to execute a program; a less common one is to minimize the… … Wikipedia
