Nächste Seite:
Einleitung
Compilerbau
Vorlesung
Wintersemester 2008
Johannes Waldmann, HTWK Leipzig
Einleitung
.
Beispiel
Inhalt
Sprachverarbeitung
Compiler und andere Werkzeuge
Phasen eines Compilers
Methoden und Modelle
Anwendungen von Techniken des Compilerbaus
Literatur
Organisation
Projekt-Themen
Kombinator-Parser
Datentyp für Parser
Elementare Parser (I)
Monadisches Verketten von Parsern
Elementare Parser (II)
Kombinatoren für Parser (I)
Kombinator-Parser und Grammatiken
Parser für (geschachtelte) Listen
Robuste Parser-Bibliotheken
Pretty-Printing (I)
Pretty-Printing (II)
Konkrete abstrakte Syntax
Motivation (I)
Motivation (II)
Varianten
JSON
Zweistufige Syntax
Unterprogramme
Beispiele
Konkrete Abstrakte Syntax
Primitive Operationen
Wiederholung: Operationale Semantik
Denotationale Semantik
Denotationale Semantik (II)
Umgebungen
Semantische Bereiche
call-by-value
Andere Semantiken?
Call-by-name
Zusammenfassung bisher
Syntactic Sugar
Motivation
Mehrfach-Abstraktion/Applikation
Mehrfach-Abstraktion/Applikation
Lokale Bindungen
Lokale Bindungen (Übersetzung)
Fixpunkte
Motivation
Rekursion
Existenz von Fixpunkten
Funktionen als CPO
Funktionen als CPO, Beispiel
letrec
letrec: Transformation nach rec
Fixpunkt-Kombinatoren
Daten
Paare
Listen
Semantik für Paare
Strikte Paare
Nicht strikte Paare
Simulation von nicht strikten Paaren
Zustand/Speicher
Motivation
Speicher
Syntactic Sugar
Semantik f. Speicher
Veränderliche Variablen
Assignment Conversion
Ablaufsteuerung/Continuations
Definition
Motivation
CPS für Resultat-Tupel
CPS/Tupel-Beispiel
CPS für Ablaufsteuerung
Semantik für CPS
CPS-Transformation: Spezifikation
CPS-Transformation: Zielsyntax
Beispiel
Transformation f. Applikation
Transformation f. Abstraktion
Vereinfachungen
Besser: Meta-Continuations
Closure Conversion
Motivation
Spezifikation
closure passing style
Transformation
Zuweisungen und Closures
Vergleich mit inneren Klassen
Lifting
Spezifikation
Realisierung
Kombinatorische Logik
Motivation
Beispiel
Systematische Übersetzung
Kombinator-Basen
Rechnen mit Kombinatoren
Registervergabe
Motivation
Plan (I)
Plan (II)
Registerbenutzung
Registervergabe und Graphenfärbung
Algorithmen zur Färbung
Graphenparameter
Register-Files
Automatische Speicherverwaltung
Motivation
Mark/Sweep
Pointer Reversal (Invariante)
Pointer Reversal (Ablauf)
Eigenschaften Mark/Sweep
Stop-and-copy (Plan)
Stop-and-copy (Invariante)
Stop-and-copy (Ablauf)
Stop-and-copy (Eigenschaften)
Breiten- und Tiefensuche
Speicher mit Generationen
Speicherverwaltung in JVM
Speicherverwaltung in JVM (II)
Zusammenfassung
Semantik definiert durch...
Über dieses Dokument ...
2010-10-12
