Funktionale Programmierung

Proseminar, 5 Credit Points

Sommersemester 2013

Prof. Gert Smolka, Christian Doczkal, Jonas Kaiser, Tobias Tebbi , Steven Sch�fer
Programming Systems Lab, Department of Computer Science, Saarland University

In diesem Proseminar wollen wir uns mit "Perlen" der funktionalen Programmierung befassen:

elegante Algorithmen und effiziente Datenstrukturen in funktionalen Programmiersprachen
Domain-spezifische Programmbibliotheken (z.B. f�r Parsing)
Herleitung von (effizienten) Programmen aus "offensichtlich korrekten", aber ineffizienten Beschreibungen

Das Seminar richtet sich an Studenten ab dem 2. Semester, die die Vorlesung Programmierung 1 erfolgreich besucht haben. Neben den fachlichen Aspekten sollen das Lesen, Zusammenfassen und die Pr�sentation von Forschungsergebnissen erlernt werden.

Die Vortragsthemen des Proseminars basieren gr��tenteils auf Forschungsartikeln, die als "Functional Pearls" in der Zeitschrift Journal of Functional Programming oder einer der gro�en Konferenzen im Bereich Programmiersprachen erschienen sind.

Einige dieser Arbeiten benutzen die Programmiersprache Haskell. Daher werden wir uns in den ersten Treffen etwas n�her mit den Besonderheiten von Haskell im Vergleich zu Standard ML besch�ftigen:

bedarfsgesteuerte Auswertung und "unendliche" Datenstrukturen
Haskell Typsystem, insbesondere Typklassen und monadische Typen

Benotung und Arbeitsaufwand

Um die Leistungspunkte f�r diesen Kurs zu erhalten, m�ssen Sie

in der Lesegruppe und zu allen Vortr�gen anwesend (und vorbereitet) sein,
aktiv an den Diskussionen teilnehmen,
einen Vortrag halten (20 Minuten, plus Diskussion), basierend auf einem Forschungsartikel sowie weiterf�hrender Literatur, und
eine schriftliche Ausarbeitung verfassen (8-10 Seiten im EasyChair LaTeX Style, Abgabe als PDF via EasyChair).
drei schriftliche Bewertungen zu den Abgaben anderer Teilnehmer schreiben.

Die Vortragsfolien sollen sp�testens 1 Woche vor dem Vortrag mit dem jeweiligen Betreuer diskutiert werden. Der Abgabetermin f�r die Ausarbeitung ist 1 Woche nach dem jeweiligen Vortrag. Der Abgabetermin f�r die Bewertungen ist 2 Wochen nach dem jeweiligen Vortrag.

Termin

Der urspr�nglich angek�ndigte w�chentliche Termin (Montags 16:00-18:00) kollidert mit der Vorleusng Great Ideas in Theoretical Computer Science. Die W�chentlichen Treffen finden daher beginnend mit dem 30.4. jeweils Dienstags 16:15-18:00 statt

Last Change: Thu 01 Jan 1970 00:00:00 UTC |