Funktionale Programmierung

Proseminar, 5 Credit Points

Wintersemester 2013/2014

Prof. Gert Smolka, Christian Doczkal, Tobias Tebbi ,
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.

Anmeldung und Organisatorisches

Die Anmeldung erfolgt per E-Mail mit Name und Matrikelnummer an Christian Doczkal (doczkal@ps.uni-saarland.de)

Die Teilnehmerzahl ist auf 12 Teilnehmer begrenzt.

In der ersten Semesterwoche wird ein Vorbereitsungstreffen stattfinden. Der genaue Termin wird noch festgelegt.

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