Friedrich-Alexander-Universität Erlangen-Nürnberg
Lehrstuhl für Informatik II
Technische Universität München
Institut für Informatik, Lehrstuhl IV

Ferienakademie im Sarntal, 17.-29.9.2000

Kurs 1 Gasthof Feldrand

Kurs 1: Formale Modelle von Programmiersprachen

Thema

Für Informatiker gehören Programmiersprachen verschiedenster Art zum täglichen Handwerkszeug. Wenn man an der Oberfläche bleibt, ist die Vielseitigkeit der Sprach-Landschaft kaum zu überblicken, denn oft gibt es einerseits rein äußerliche (syntaktische) Varianten des gleichen Konzepts, andererseits echte bedeutungsmäßige (semantische) Unterschiede bei gleich aussehenden Konstrukten.
In diesem Kurs haben wir etwas hinter die Kulissen geschaut, indem wir mathematisch-logische Modelle und Kalküle kennengelernt haben, mit denen die wesentlichen Eigenschaften ganzer Sprachfamilien abstrakt darstellbar sind und die uns helfen, den ``wahren Kern'' einer Programmiersprache zu erfassen.

Vorträge

(Ausarbeitungen und Fotos dazu: auf Vortragstitel klicken)
1. Alexandra Kirsch Operationelle Semantik: Programmausführung als Spiel mit Regeln
2. Sven Hennauer Prolog: Programmieren mit Logik
3. Stephan Hohe Hoare-Logik: ``Ob das Programm auch tut, was es soll?''
4. Andreas Krause Lambda-Kalkül: Das einzig wahre Berechnungsmodell
5. Stefan Büttcher Lambda-Kalkül mit call-by-need
6. Wolfgang Mauerer Denotationelle Semantik: Alles ist rekursiv
7. Siyuan Liu Typsysteme: ``Warum bekomme ich in C immer  Bus error - core dumped?''
8. Thorsten Meinl Typsysteme für Dokumente: Verständigungsschwierigkeiten im Web?
9. Dominik Scheder Featherweight Java: Die Essenz der Essenz von Java
10. Silvia Gandy µ-Java: Java unter der logischen Lupe
11. Tobias Lasser µ-Java Virtual Machine: Der Bytecode in der Sandbox
12. Michael Petter Termersetzung: Programmausführung als Spiel mit Bäumen
13. Frank Lauterwald Termgraphersetzung: Programmausführung als Spiel mit Graphen
14. Mihai Dumitrescu Clean: Eine saubere Sprache
15. Hans Löhr Aktorsysteme: Der Prozess als Objekt
    

Dozenten und Mitarbeiter

Fotos von ...

Sonstiges

Tipps zur Gestaltung eines Seminarvortrags


David von Oheimb, 2000-07-07    URL: http://www.in.tum.de/~oheimb/FA2000.html    (Model of this page)