Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
https://www.pst.ifi.lmu.de/Lehre/WS0203/psem/

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

( Kröger, Rauschmayer)


Inhaltsverzeichnis


Aktuelles


Inhalt

Hörerkreis:
Studierende im Grundstudium mit Hauptfach Informatik
Voraussetzungen:
Grundkenntnisse in Informatik
Literatur:
wird in der Vorbesprechung bekanntgegeben
Erwartete Leistungen:
Regeln zur Vortragsvorbereitung:
Wenn die folgenden Termine nicht eingehalten werden, kann kein Schein ausgestellt werden:

Personen

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.

Termine

Regelmäßig:

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

Themen und Vortragende

Abkürzungen in eckigen Klammern stehen für Bücher und sind auf der Literatur-Seite aufgeschlüsselt.
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

...wurde ausgelagert auf eine extra Seite.


Lehrveranstaltungen Lehrstuhl Institut Universität