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

Lehr- und Forschungsgebiet Informatik II

Fachgruppe Informatik

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

Veranstalter

Prof. Dr. Jürgen Giesl, Peter Schneider-Kamp, René Thiemann

Termin

Dienstags, 17:30 - 19:00

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 also logische Sprache wird Prolog betrachtet. Das Proseminar baut auf der Vorlesung "Programmierung" auf, in denen erste Grundlagen dieser Sprachen behandelt wurden.

Themen

Die folgenden Vorträge finden jeweils dienstags von 17:30 Uhr bis 18:30 Uhr im Raum 6019 statt.

	Termin	Seminarist	Thema	Betreuer	Literatur
Haskell
1.	Di, 26.04.	Ventislava Vasileva	Funktionen höherer Ordnung	Benedikt Bollig	[1] pp. 171-201
2.	Di, 26.04.	Florian Dahlmanns	Lazy Programming	Michael Weber	[1] pp. 345-396
3.	Di, 03.05.	Florian Witte	Typklassen und Monaden	Michael Weber	[1] pp. 203-219, 397-424
Prolog
4.	Di, 03.05.	Stefan Pabst	Negation as Failure und Cuts	Benedikt Bollig	[2] pp. 157-174
5.	Di, 10.05.	Andreas Seifert	Extra-logische Prädikate	Volker Stolz	[2] pp. 175-191
6.	Di, 10.05.	Stefan Mau	Differenzlisten und Grammatiken	Volker Stolz	[2] pp. 239-265
Java
7.	Di, 24.05.	Ruben Zimmermann, Daniel Götten	Generische Typen	René Thiemann	[3] pp. 21-94, 95-164
8.	Di, 31.05.	Guy Rolland Tambou Chago	Behandlung von Ausnahmen	Peter Schneider-Kamp	[4] pp. 511-561
9.	Di, 31.05.	Tobias Vaegs	Collection Classes und Iteration	Peter Schneider-Kamp	[5], [3] pp. 8-10
10.	Di, 07.06.	Moritz Wittenhagen, Robert Hochstrat	Nebenläufigkeit	René Thiemann	[6] pp. 159-181, [3] pp. 189-249
11.	Di, 14.06.	Dennis Kehrig, Lei Yu	Sicherheit	Peter Schneider-Kamp	[7] pp. 37-80, 81-114
12.	Di, 21.06.	Jan Lübeck	Netzwerkprogrammierung	René Thiemann	[6] pp. 235-278
13.	Di, 21.06.	Jan Scherer	GUI-Programmierung mit Swing und zugrundeliegende Entwurfsmuster	René Thiemann	[5], [8]

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.

Weitere Literatur zu Ihrem Thema müssen Sie selber suchen. Gehen Sie in die Informatikbibliothek und lernen Sie, diese zu nutzen. Sie werden dort gerne bei der Suche beraten. Auch der Katalog der Zentralbibliothek mag nützlich sein. Nutzen Sie auch das Internet.

Wichtige Termine

Es wird erwartet, daß die folgenden Termine eingehalten werden:

Die angegebene Litaratur 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 die letzte Version der Ausarbeitung vor.
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 drei Bedingungen erfüllen:

Sie halten einen Vortrag (ca. 30 Minuten);
vor dem Vortrag erstellen Sie eine Ausarbeitung (ca. 8 Seiten);
Sie nehmen an allen Vorträgen teil.

Die Scheine können ab Montag im Sekretariat des Lehrstuhls abgeholt werden.

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

Hinweise zur Ausarbeitung

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).

Last modified: Fri Feb 18 16:20:00 CET 2005 Lehr- und Forschungsgebiet Informatik II