Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

Proseminar "Grundlagen höherer Programmiersprachen" (Wintersemester 2002/03)

(Kröger, Rauschmayer)

Inhaltsverzeichnis

• Aktuelles
• Inhalt
• Personen
• Termine
• Themen
• Literatur
• FAQ

• [2003-01-08] Am 23. Januar findet das Proseminar nicht statt (siehe unten).

• Konzepte logischer, funktionaler und objektorientierter Programmiersprachen
• Kalküle und Grundlagen der drei oben erwähnten Programmier-Paradigmen
• Implementierung der Paradigmen in Scheme

Hörerkreis:

Studierende im Grundstudium mit Hauptfach Informatik

Voraussetzungen:

Grundkenntnisse in Informatik

Literatur:

wird in der Vorbesprechung bekanntgegeben

Erwartete Leistungen:

• Am Anfang jeder Sitzung (ab der zweiten) gibt es einen kurzen (und einfachen) Test, mit dem der vorherige Vortrag wiederholt wird. Voraussetzung für den Schein sind 50% aller Punkte
• Vortrag (ca. 45-60 Minuten ohne Diskussion)
• Schriftliche Ausarbeitung (ca. 10 Seiten)
• Aktive Beteiligung an Diskussionen
• Es besteht Anwesenheitspflicht. Entschuldigen Sie sich bitte rechtzeitig vorher beim Betreuer, wenn Sie nicht anwesend sein können. Wer mehr als einmal fehlt oder seinen Vortrag nicht am vereinbarten Termin hält, bekommt nur unter besonderen Umständen einen Schein.

Regeln zur Vortragsvorbereitung:

Wenn die folgenden Termine nicht eingehalten werden, kann kein Schein ausgestellt werden:

• 2 Wochen vor Vortrag: Besprechung des Stoffes. Treffen mit dem Betreuer, bei dem der Vortragende eine Gliederung vorlegt und Fragen zum Stoff stellen kann.
• 1 Woche vor Vortrag: Besprechung der kompletten Ausarbeitung und Folien.
• Montag vor dem Vortrag: Bis um 10:00 Uhr in der Früh eine Kopie der Folien- und der Ausarbeitungs-Datei per E-Mail (rauschma AT informatik.uni-muenchen.de) an Axel Rauschmayer schicken.
• Probevortrag: Bei Bedarf kann ein Termin für einen Probevortrag mit dem Betreuer ausgemacht werden.

Veranstalter:

Prof. Dr. Fred Kröger, Zimmer 0.54, Oettingenstr. 67

Axel Rauschmayer, Zimmer E5, Oettingenstr. 67. E-Mail: rauschma AT informatik.uni-muenchen.de.

• Proseminar: Donnerstags, 14:15 bis 15:45 Uhr, Raum 1.43, Oettingenstr. 67.
• Besprechung der Vortrags-Gliederung: Donnerstag ab 16:00 s.t. (direkt nach der Proseminar-Stunde), Raum E5, Oettingenstr. 67. Anderer Termin nach Vereinbarung.
• Besprechung von Folien und Vortrag: Mittwochs ab 14:00 s.t., Raum E5, Oettingenstr. 67. Anderer Termin nach Vereinbarung.

Einführungsveranstaltung und Vergabe der ersten 3 Themen an Zweier-Gruppen

Zeit: Mo, 07.10.2002, 14:15 Uhr

Ort: Raum E0.3, Oettingenstr. 67

Vergabe der restlichen Themen, Klärung offener Fragen. Noch kein Vortrag

Zeit: Do, 17.10.2002, 14:15 Uhr

Ort: Raum E0.15, Oettingenstr. 67

Erster Vortrag

Zeit: Do, 24.10.2002, 14:15 Uhr

Ort: Raum E0.15, Oettingenstr. 67

24.10.2002 und 31.10.2002

Thema: Scheme [ Ausarbeitung | Handout ] und Lambda-Kalkül [ Ausarbeitung | Handout ]

Vortragende: Philipp Gröschel und Sebastian Sand

Stoff: [EoPL] Kapitel 1-4; Scheme-Tutorial; Lambda-Kalkül-Tutorial; Felleisen-Paper

07.11.2002 und 14.11.2002

Thema: Interpreter [ Ausarbeitung | Handout ] und Objekt-Orientierung [ Ausarbeitung | Handout ]

Vortragende: Elisabeth Georgieva und Judith Schmidt

Stoff: [EoPL] Kapitel 5 und 7

21.11.2002 und 28.11.2002

Thema: Logik-Programmierung -- Anwendung [ Ausarbeitung | Handout ] und Implementierung [ Ausarbeitung | Handout ]

Vortragende: Bettina Hikele und Petar Tonev

Stoff: [SICP] Kapitel 4.4 und 4.5

05.12.2002 und 12.12.2002

Thema: Semantik [ Ausarbeitung | Handout ] und Verifikation [ Ausarbeitung | Handout ]

Vortragende: Ahmed Abada und Walter Kammergruber

Stoff: Kapitel 1-2.3 und Kapitel 3 im [SemApp]

19.12.2002

Thema: Continuations [ Ausarbeitung | Handout ]

Vortragende: Iskrena Avramova

Stoff: [EoPL] Kapitel 7 ohne 7.2, 7.3, 7.6

09.01.2003

An diesem Tag findet kein Proseminar statt!

16.01.2003

Thema: Typen [ Ausarbeitung | Handout ]

Vortragender: Christian Kagermaier

Stoff: [Types] Kapitel 8,9

23.01.2003

An diesem Tag findet kein Proseminar statt!

30.01.2003

Thema: Typinferenz [ Ausarbeitung | Handout ]

Vortragender: Roland Eckl

Stoff: [Types] Kapitel 22

06.02.2003

Thema: Model-Checking [ Ausarbeitung | Handout ]

Vortragender: Patrick Nepper

Stoff: Eigener Abschnitt auf Literatur-Seite

Literatur