Fortgeschrittene Programmierkonzepte in Java, Haskell und Prolog (SS 2008)

Lehr- und Forschungsgebiet Informatik 2

Fachgruppe Informatik

Proseminar: Fortgeschrittene Programmierkonzepte in Java, Haskell und Prolog
(S2, SS 2008)
LuFG Informatik 2

Veranstalter

Prof. Dr. Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp, Stephan Swiderski

Koordinaten

Das Proseminar findet wöchentlich am Freitag von 15:45 - 17:15 Uhr in Raum 5052 statt.

Am 27.6 findet das Proseminar ausnahmsweise in Raum 2323 statt (Seminarraum i11).

Inhalt

In diesem Proseminar werden fortgeschrittene Konzepte von Programmiersprachen verschiedender Programmierparadigmen vorgestellt. Als Vertreter der imperativen und objektorientierten Sprachen betrachten wir Java, als funktionale Sprache wird Haskell untersucht und als logische Sprache wird Prolog betrachtet. Das Proseminar baut auf der Vorlesung "Programmierung" auf, in denen erste Grundlagen dieser Sprachen behandelt wurden.

Themen

Datum	Zeit	Thema	Betreuer	Referenten
11.04	15:45	Exception Handling und andere Spracherweiterungen	S. Swiderski	Dominik Merkelbach, Max Görtz
18.04	15:45	Generische Typen	S. Swiderski	Jonas Dederichs, Thomas Mausbach
25.04	15:45	Collection Classes und Iteration	P. Schneider-Kamp	David Reger, Tim Enger
02.05	15:45	Multi-Threading und Synchronisation	C. Fuhs	Isaak Lim, Daniel Thulfaut
09.05	15:45	Netzwerkprogrammierung	C. Fuhs	Torsten Zimmermann, Andrius Bentkus
23.05	15:45	Sicherheitskonzepte	P. Schneider-Kamp	Stefan Schupp, Simon Tenbusch
30.05	15:45	Sprachanbindungen	P. Schneider-Kamp	Philip Barnes, Dominik Schmithausen
06.06	15:45	Entwurfsmuster in Java	P. Schneider-Kamp	Alexander Kogaj, Simon Heinen
13.06	15:45	GUI-Programmierung in Java	S. Swiderski	Quang Linh Le, Andreas Schulten
20.06	15:45	Haskell: Auswertungsstrategie und Lazy Programming	S. Swiderski	Frederic Porath, Xinyu Ge
27.06	15:45	Haskell: Funktionen höherer Ordnung und List Comprehensions	C. Fuhs	Thomas Röhl, Christian Kuknat
04.07	15:45	Haskell: Typklassen, Monaden und Ein-/Ausgabe	S. Swiderski	Alexander Roth, Fabian Ohler
11.07	15:45	Negation als Fehlschlag und der Cut, sowie Extra-Logische Prädikate	C. Fuhs	Andrej Dyck, Devran Ölcer
18.07	15:45	Constraint Logic Programming und Definite Clause Grammars	P. Schneider-Kamp	Carsten Hübner, Kristina Mauch

Teilnehmer

Alexander Kogaj
Alexander Roth
Andrej Dyck
Bentkus Andrius
Carsten Hübner
Christian Kuknat
Daniel Thulfaut
David Reger
Devran Ölcer
Dominik Merkelbach
Dominik Schmithausen
Fabian Ohler
Frederic Porath
Isaak Lim
Jonas Dederichs
Kristina Mauch
Max Görtz
Philip Barnes
Quang Linh Le
Schulten Andreas
Simon Heinen
Simon Tenbusch
Stefan Schupp
Thomas Mausbach
Thomas Röhl
Tim Enger
Torsten Zimmermann
Xinyu Ge

Bibliotheksführung

Alle Teilnehmer sind verpflichtet, an einer Bibliotheksführung teilzunehmen. Folgende Termine gibt es:

Di 26.02.2008, 12:00 Uhr
- Max Görtz
- Thomas Mausbach
- Andrius Bentkus
- Simon Tenbusch
- Stefan Schupp
- Thomas Röhl
- Fabian Ohler
Do 20.03.2008, 10:00 Uhr
- Tim Enger
- Xinyu Ge
- Carsten Hübner
- Alexander Kogaj
- Frederic Porath
- David Reger
- Alexander Roth
Fr 04.04.2008, 16:30 Uhr
- Philip Barnes
- Jonas Dederichs
- Simon Heinen
- Christian Kuknat
- Isaak Lim
- Devran Ölcer
- Andreas Schulten
Mo 07.04.2008, 10:00 Uhr
- Andreas Dyck
- Quang Linh Le
- Kristina Mauch
- Dominik Merkelbach
- Dominik Schmithausen
- Daniel Thulfaut
- Torsten Zimmermann

Literatur

[1] Simon Thompson: Haskell - The Craft of Functional Programming, Addison Wesley, 1996.
[2] Leon Sterling & Ehud Shapiro: The Art of Prolog, MIT Press, 1986.
[3] Johannes Nowak: Fortgeschrittene Programmierung mit Java 5, dpunkt.verlag, 2005.
[4] Walter Savitch: Java - An Introduction to Computer Science & Programming, Prentice Hall, 2001.
[5] Sun Microsystems: Java 2 Platform Standard Edition 5.0 API Specification.
[6] Patrick Niemeyer & Joshua Peck: Exploring Java, O'Reilly, 1996.
[7] Gary McGraw & Edward W. Felten: Securing Java, Wiley, 1999.
[8] Erich Gamma et al.: Entwurfsmuster, Addison Wesley, 2001.

Wichtige Termine

Es wird erwartet, dass die folgenden strikten Termine eingehalten werden:

Die angegebene Literatur sollte spätestens sieben Wochen vor dem Vortrag bei dem entsprechenden Betreuer abgeholt werden.
Spätestens fünf Wochen vor dem Vortrag führt der Teilnehmer ein Gespräch mit dem Betreuer über die bis zu diesem Zeitpunkt vorliegenden Resultate. Insbesondere soll bei diesem Termin eine Gliederung besprochen werden.
Spätestens drei Wochen vor dem Vortrag liegt dem Betreuer eine vollständige Ausarbeitung vor. Sollte diese mehr als zehn Rechtschreib- oder Grammatikfehler auf einer Seite enthalten, wird die Bearbeitung abgebrochen.
Spätestens eine Woche vor dem Vortrag wird die Ausarbeitung, in genügender Anzahl kopiert, zum Proseminartreffen mitgebracht (bzw. im Sekretariat des Lehrstuhls ausgelegt). Die Kopien können am Lehr- und Forschungsgebiet angefertigt werden.

Schein

Zum Erhalt des Scheins müssen Sie die folgenden vier Bedingungen erfüllen:

Sie nehmen an der Ihnen zugewiesenen Bibliotheksführung teil.
Sie halten einen Vortrag.
Vor dem Vortrag erstellen Sie eine Ausarbeitung.
Sie nehmen an allen Vorträgen teil.

Betreuer

Jeder Teilnehmer hat einen wissenschaftlichen Mitarbeiter als Betreuer. Dieser berät Sie bei der Bearbeitung Ihres Themas. Sie sollten Ihren Betreuer mehrfach aufsuchen, um mit ihm Ihren Fortschritt zu besprechen. Sie sollten ihn mindestens kontaktieren um

die Literatur abzuholen;
ihm die von Ihnen gefundene Literatur zu zeigen;
ihm den Entwurf der Struktur der Ausarbeitung zu zeigen;
ihm einmal eine Ausarbeitung zu zeigen; diese wird er lesen und Ihnen anschließend Verbesserungsvorschläge machen;
ihm die Endversion der Ausarbeitung zu geben;
mit ihm die Struktur des Vortrags zu besprechen;
ihm einen Entwurf der Vortragsfolien zu zeigen.

Ausarbeitung und Vortrag

Die Ausarbeitung darf maximal 12 Seiten (inklusive Titelblatt) enthalten. Längere Ausarbeitungen werden nicht bearbeitet.
Sollte die Ausarbeitung mehr als 5 Rechtschreibfehler auf einer Seite enthalten, die ein Rechtschreibprüfprogramm finden würde, wird die Bearbeitung abgebrochen.
Allgemeine Hinweise zu Ausarbeitungen von Seminaren

Die Ausarbeitung kann mit einem beliebigen Textverarbeitungssystem erstellt werden. Wir empfehlen allerdings LaTeX.

Einführungsmaterial zu LaTeX aus dem LaTeX-Kurs

Rückfragen

Bei Rückfragen wenden Sie sich bitte an Peter Schneider-Kamp (psk@informatik.rwth-aachen.de, Tel: 80-21211).

Disclaimer

Lehr- und Forschungsgebiet Informatik 2

Fachgruppe Informatik