Seminar Implementierung von Programmiersprachen

Sommersemester 2004
Lehrstuhl für Programmiersprachen und Übersetzerkonstruktion

Themenliste

Thema 1: Monadische Parserkombinatoren

Thema 2: Schnelle Parserkombinatoren mit Fehlerbehebung

Thema 3: Deklaratives Debugging für Haskell

Thema 4: Debuggen mittels Tracing

Thema 5: Debuggen durch Beobachten

Thema 6: Implementierung von lazy funktionalen Sprachen - Spineless Tagless G-Machine

Thema 7: Optimierung funktionaler Programme - Elimination von Funktionen höherer Ordnung

Thema 8: Implementierung von logisch-funktionalen Sprachen

Thema 9: Hume: Eine funktionale Sprache mit Ressourcen-Beschränkungen

Thema 10: Implementierung von Hume

Thema 11: JIT - Just-In-Time-Compilation

Thema 12: Generic Java

Eher theoretisch: 1, 2, 3, 7