Spezialvorlesung Grundlagen von Programmiersprachen
Betreuung
Prof. Dr. Peter Thiemann,
Dipl.-Inform. Matthias Neubauer
Termine
| | Zeit | Raum |
| Vorlesung | Mo, 16-18 |
SR 03-026, Geb. 051 |
| Vorlesung | Mi, 16-18 |
SR 03-026, Geb. 051 |
| Übung | Mo, 14-16 |
SR 03-026, Geb. 051 |
Übungen
Skript zur Vorlesung
Skript zum Skript
Voraussetzungen
Grundstudium abgeschlossen
Inhalt der Vorlesung
Grundkonzepte von Programmiersprachen und ihre formale Modellierung
- Grundbegriffe der Modellierung
- Funktionale Programmierung
- Imperative Programmierung
- OO Programmierung
- Logische Programmierung
- Nebenläufige Programmierung
- Multi-Paradigm Programmierung
Literatur
- Friedmann, Wand, and Haynes. Essentials of Programming
Languages. MIT Press / McGraw-Hill. 2001.
- Maier and Warren. Computing with Logic. Benjamin Cummings.
- Cardelli and Abadi. A Theory of Objects. Springer, 1996.
- Reppy. Concurrent Programming in ML. Cambridge University Press, 1999.
- Winskel. The Formal Semantics of Programming Languages: An Introduction. MIT Press, 1993.
Peter Thiemann
Last modified: Mon Oct 20 18:28:16 CEST 2003