| | |
Summary: Zirkul¨are Programme Memoisation Termination von zirkul¨aren Programmen Red-Black Trees
Funktionale Programmierung
Zirkul¨are Programme
Hans-Wolfgang Loidl, Andreas Abel
LFE Theoretische Informatik, Institut f¨ur Informatik,
Ludwig-Maximilians Universit¨at, M¨unchen
11. Mai 2009
Hans-Wolfgang Loidl, Andreas Abel Funktionale Programmierung
Zirkul¨are Programme Memoisation Termination von zirkul¨aren Programmen Red-Black Trees
Die Vorteile von Bedarfsauswertung
Modularisierung des Codes
Vermeidung unn¨utzer Berechnungen
Hoher Coolness-Faktor
Verwendung unendlicher und zirkul¨arer Datenstrukturen
Hans-Wolfgang Loidl, Andreas Abel Funktionale Programmierung
Zirkul¨are Programme Memoisation Termination von zirkul¨aren Programmen Red-Black Trees
Definitionen
Ein zirkul¨ares Programm erzeugt eine Datenstruktur, deren
Berechnung von sich selbst abh¨angt.
Solche Programme erfordern nicht-strikte Datenstrukturen.
|
