Partielle Auswertung einer einfachen imperativen Sprache

Titelseite

1 Einleitung und Grundbegriffe

Inhaltsverzeichnis

• 1 Einleitung und Grundbegriffe
• 1.1 Historie
• 1.2 Partielle Auswertung
• 1.3 Zielsetzung
• 1.4 Schreibweisen
• 1.5 Die Flußdiagrammsprache
• 1.6 Residuale Programme und Programmspezialisierung
• 2 Programmspezialisierung
• 2.1 Allgemeines
• 2.2 Zustände, Programmpunkte und Einteilungen
• 2.3 Programmpunktspezialisierung
• 2.4 Codeerzeugung
• 2.5 Berechnung von poly
• 2.6 Übergangskomprimierung
• 2.7 Einteilung (der Variablen)
• 2.8 Bindezeitanalyse
• 2.9 Algorithmus für den Programmspezialisierer mix
• 3 Partielle Auswertung und Compilierung
• 3.1 Futamura-Projektionen
• 3.2 Ein Interpreter für Turingmaschinenprogramme
• 3.3 Compilierung durch die erste Futamura-Projektion
• 4 Offene Fragestellungen
• 4.1 Terminierung
• 4.2 Endlichkeit der Menge der spezialisierten Programmpunkte
• 4.3 Online/Offline-Strategien
• 5 Zusammenfassung
• A Literatur und Links
• A.1 Basisliteratur
• A.2 Weiterführende Literatur
• A.3 Links im Internet
• B Vortragsfolien

Die Ausarbeitung steht auch zum Downloaden zur Verfügung:

• Postscript als ASCII-Datei (665 kB)
• Postscript als gepackte ZIP-Datei (87 kB)

1 Einleitung und Grundbegriffe