Typsysteme
LVA 185.206, VO 2.0, 2008 W
Typsysteme
Aktuell:
Die für den 1. Oktober angekündigte Vorbesprechung entfällt.
Stattdessen wird es eine kurze Vorbesprechung zu Beginn der ersten Vorlesung am 3. Oktober geben.
Ziele:
Die Teilnehmer sollen einen Überblick über verschiedene Typsysteme in Programmiersprachen und deren Vor- und Nachteile bekommen.
Insbesondere sollen die Möglichkeiten und Grenzen der Verwendung von Typen aufgezeigt werden.
Ein Schwerpunkt liegt auf Typen in neueren objektorientierten Sprachen.
Inhalt:
- Bedeutung des Begriffs Typ
- Klassifikation von Programmiersprachen anhand von Typsystemen
- Einfache theoretische Typmodelle (Lambda-Kalkül, Logik, Algebren)
- Typen in imperativen Sprachen (hauptsächlich Ada)
- Theoretische Modelle polymorpher Typsysteme und Typinferenz
- Sprachen mit polymorphen Typsystemen
- Verwendung polymorpher Typsysteme in objektorientierten Programmierung (Schwerpunkt)
Voraussetzungen:
Programmierkenntnisse werden vorausgesetzt.
Anrechenbarkeit:
Die Vorlesung ist für das Magisterstudium
Software Engineering / Internet Computing
anrechenbar.
Lehrbehelfe:
Ein
Skriptum und Kopien von Folien stehen zum Download bereit.
Dieselben Unterlagen wurden auch in den letzten Jahren verwendet.
- Skriptum im PDF-Format
- Skriptum im Postscript-Format (komprimiert mit gzip)
- Folien zu Kapitel 1
(.pdf,
.ps.gz)
- Folien zu Kapitel 2
(.pdf,
.ps.gz)
- Folien zu Kapitel 3
(.pdf,
.ps.gz)
- Folien zu Kapitel 4
(.pdf,
.ps.gz)
- Folien zu Kapitel 5
(.pdf,
.ps.gz)
- Folien zu Prozesstypen
- Folien zu Prozesstypen (dependent types)
Zeit und Ort:
Die Vorlesung wird ab 3. Oktober 2008 jeden Freitag von 9:30 bis 11:00 Uhr (s.t.) im EI 3A (altes EI, 2. Stock) stattfinden.
Eine kurze Vorbesprechung wird es zu Beginn der ersten Vorlesungseinheit geben.
Beurteilung:
Prüfungen sind mündlich.
Prüfungstermine sind an jedem Montag von 11 bis 12 Uhr (außer in der vorlesungsfreien Zeit) und nach Vereinbarung.
Vortragender:
Franz Puntigam
Tel.: 58801/18514
franz@complang.tuwien.ac.at