WikiDer > Abholzung (Computer)

Ontbossing (informatica)

In der Theorie der Programmiersprachen in dem Informatik ist Abholzung (auch bekannt als zusammenführen) ein Programmtransformation zu Baumstrukturen löschen.

Der Begriff "Entwaldung" wurde ursprünglich geprägt von Philip Wadler in seinem Artikel "Entwaldung: Transformationsprogramme zur Beseitigung von Bäumen"[1].

Abholzung wird typischerweise auf Programme aus der Ecke des funktionale Programmiersprachen, insbesondere die nicht strenge Programmiersprachen wie Haskell. Ein spezieller Algorithmus zur Abholzung, der sogenannte Abkürzung Abholzung[2], ist implementiert in der Glasgow Haskell Compiler.[3]

Siehe auch

Verweise

  1. ↑Wadler, Philipp (1990). Entwaldung: Umgestaltung von Programmen zur Beseitigung von Bäumen. Theoretische Informatik 73: 231–248. DOI: 10.116/0304-3975(90)90147-A.
  2. ↑Gill, Andrew, John Launchbury, Simon Peyton-Jones, (1993). Eine Abkürzung zur Abholzung: 223-232.
  3. ↑Peyton Jones, Simon, Andrew Tolmach, C.A.R. heiser, (2001). Nach den Regeln spielen: Umschreiben als praktische Optimierungstechnik in GHC.