Grundlagen der funktionalen Programmierung
| Corporate Author: | |
|---|---|
| Format: | eBook |
| Language: | German |
| Published: |
Wiesbaden
Vieweg+Teubner Verlag
1994, 1994
|
| Edition: | 1st ed. 1994 |
| Series: | XLeitfäden der Informatik
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Literatur
- Sachwortverzeichnis
- 13.1 Syntax
- 13.2 Semantik
- 13.3 Maschinenmodelle und Übersetzung
- 13.4 Parallele Auswertung
- 13.5 Literaturhinweise
- 13.6 Aufgaben
- 14 Abstrakte Interpretation
- 14.1 Grundlagen
- 14.2 Striktheitsanalyse
- 14.3 Vorwärtsanalyse
- 14.4 Rückwärtsanalyse
- 14.5 Literaturhinweise
- 14.6 Aufgaben
- 15 Der ?-Kalkül
- 15.1 Syntax und Reduktionssemantik
- 15.2 Darstellung rekursiver Funktionen
- 15.3 Ein angereicherter ?-Kalkül
- 15.4 Typen für den ?-Kalkül
- 15.5 Semantik von Typen
- 15.6 Die SECD-Maschine
- 15.7 SKI-Kombinatorreduktion
- 15.8 Literaturhinweise
- 15.9 Aufgaben
- A Grundlegende Notation
- B Syntaxdiagramme von Gofer
- B.1 Deklarationen
- B.2 Typen
- B.3 Klassen- und Exemplardeklarationen
- B.4 Wert- und Funktionsdeklarationen
- B.5 Ausdrücke
- B.6 Muster
- B.7 Variablen und Operatoren
- B.8 Lexikalische Syntax
- C Kurzübersicht Gofer
- D Implementierungen von Gofer und Haskell
- E Bedienung des Gofer-Interpretierers
- 1 Einführung
- 2 Grundlegende Sprachstrukturen
- 2.1 Programmierung mit Funktionen
- 2.2 Lexikalische Syntax
- 2.3 Deklarationen
- 2.4 Typausdrücke
- 2.5 Ausdrücke
- 2.6 Muster
- 2.7 Deklarationen auf der Skriptebene
- 2.8 Polymorphie
- 2.9 Aufgaben
- 3 Funktionen höheren Typs
- 3.1 Die Funktion map
- 3.2 Die Funktion foldr
- 3.3 Funktionale auf Bäumen
- 3.4 Verallgemeinerte map- und fold-Funktionale
- 3.5 Literaturhinweise
- 3.6 Aufgaben
- 4 Fallstudien
- 4.1 Auswertung von Polynomen
- 4.2 Operationen auf Matrizen und Vektoren
- 4.3 Graphische Darstellung von Bäumen
- 5 Verzögerte Auswertung
- 5.1 Auswertung
- 5.2 Newtonscher Algorithmus
- 5.3 Das Sieb des Eratosthenes
- 5.4 Zirkuläre Datenstrukturen
- 5.5 Aufgaben
- 6 Programmeigenschaften
- 6.1 Induktionsbeweise
- 6.2 Aussagen über Funktionen
- 6.3 Programmsynthese
- 6.4 Programmtransformation
- 6.5 Partielle Listen
- 6.6 Literaturhinweise
- 6.7 Aufgaben
- 7 Fortgeschrittene Konzepte
- 7.1 Komprehensionen für Listen
- 7.2 Parser
- 7.3 Monaden
- 7.4 Funktionale Ein-/ Ausgabe
- 7.5 Spezifische Eigenschaften von Haskell und Gofer
- 7.6 Literaturhinweise
- 7.7 Aufgaben
- 8 Überblick und Anwendungen
- 8.1 Lisp
- 8.2 ISWIM und FP
- 8.3 ML
- 8.4 Hope
- 8.5 MirandaTM
- 8.6 Haskell
- 8.7 Anwendungen
- 9 Einführung in die denotationelle Semantik
- 9.1 Semantik von Funktionsgleichungen
- 9.2 Strikt vs. nicht-strikt
- 10 Bereichstheorie
- 10.1 Vollständige Halbordnungen
- 10.2 Konstruktion von Halbordnungen
- 10.3 Beziehungen zwischen Bereichen
- 10.4 Bereichsgleichungen
- 10.5 Literaturhinweise
- 10.6 Aufgaben
- 11 Universelle Algebra
- 11.1 Homogene Algebra
- 11.2 Polymorphe Algebra
- 11.3 Literaturhinweise
- 11.4 Aufgaben
- 12 Sprachen mit Funktionen erster Ordnung
- 12.1 Syntax
- 12.2 Semantik
- 12.3Maschinenmodelle und Übersetzung
- 12.4 Aufgaben
- 13 Sprachen mit Funktionen höherer Ordnung