Seminar Konzepte von Programmiersprachen
SE 12091 Seminar Konzepte von Programmiersprachen
Prof. Dr. H.P. Gumm
Prof. Dr. R. Loogen
Neuer Termin: Di, 18 - 20 Uhr, HS IV, Lahnberge, Ebene D4

1. Vorbesprechung: Do 10.02.2005, 16:15 Uhr, SR V (Lahnberge)
2. Vorbesprechung: Di 12. April 2005, 16:15 Uhr, SR V, Lahnberge
Es sind noch Themen zu vergeben.
Bitte wenden Sie sich bei Interesse an Prof. Dr. Gumm oder Prof. Dr. Loogen.

Fachgebiet Klassifikation Semester Fortsetzung Skript
Informatik Hauptstudium, theoretische Informatik >=5 - nein

Voraussetzungen: Interesse an theoretischer Informatik
Scheinkriterien: schriftliche Ausarbeitung und Vortrag eines ausgewählten Themas, regelmäßige Teilnahme am Seminar
Merkblatt zur Ausarbeitung und zum Vortrag (pdf, ps)
Inhalt: Es werden neuere Arbeiten u.a. aus dem Bereich der Semantik von Programmiersprachen behandelt.

Noch zu vergebende Themen:
  1. Co-Algebren und Monaden in der Semantik von Java
  2. Modellierung parametrischer Polymorphie mit Daten-Kategorien
    • Barry Jay: Data Categories, CATS'96: Computing: the Australasian Theory Symposium, Melbourne, Australia, January 1996.
  3. Systematische Herleitung abstrakter Maschinen
Geplante Vorträge:
  1. Eine Einführung in Monaden
    Chang Liu: Ausarbeitung
    Termin: 3. Mai 2005
    Literatur:
    • Phil Wadler: Comprehending Monads, Mathematical Structures in Computer Science, Vol. 2, pp 461-493, Cambridge Univ. Press 1992.
  2. Modulare Interpreter durch Monadentransformationen
    Carina M. Ringler: Ausarbeitung
    Termin: 10. Mai 2005
    Literatur:
  3. Monadenkomposition
    Christian Heil: Vortragsfolien, Handout, Ausarbeitung
    Termin: 24. Mai 2005
    Literatur:
    • Mark P. Jones, Luc Duponcheel: Composing Monads , Research Report YALEU/DCS/RR-1004, December 1993.
  4. Implementierung von "Collection Classes" mit Monaden
    Yuchen Deng: Ausarbeitung
    Termin: 31. Mai 2005
    Literatur:
  5. Eine systematische Dekonstruktion der SECD-Maschine
    Liang Dong: Ausarbeitung
    Termin: 7. Juni 2005
    Literatur:
  6. Fortsetzungssemantik für parallele Haskell-Erweiterungen
    Torsten Graf: Ausarbeitung, Folien
    Termin: 21. Juni 2005
    Literatur:
  7. Semantische Modellierung von Striktheit
    Beatriz Mesino: Ausarbeitung
    Termin: 28. Juni 2005
    Literatur:
    • Marco van Eekelen: Mixed Lazy/Strict Graph Semantics, International Workshop on the Implementation and Applications of Functional Languages (IFL), Lübeck, September 2004.

Zuletzt geändert: