Typsysteme
LVA 185.206, VO 2.0, 2007 W
Typsysteme
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)
Zeit und Ort:
Eine Vorbesprechung findet am Mittwoch, den 3. Oktober 2007 von 14:30 bis 15:00
Uhr (pünktlich) im FH HS 4 statt.
Die Vorlesung wird ab 5. Oktober 2007 jeden Freitag von 9:30 bis 11:00 Uhr
(s.t.) im EI 3A (altes EI, 2. Stock) stattfinden.
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