| ||||||||||||||||||||
Vorlesung: Typsysteme (WS 2007/08)
Lehrbeauftragter: Dr. A. DittmarInhaltsangabe:
Wohl jeder Programmierer kennt solche Situationen, in denen „der Compiler einen Typfehler meldet“. In Compiler eingebaute Typechecker sind eine praktische Anwendung, die sich aus dem Studium von Typsystemen ergibt. Die Beschäftigung mit Typsystemen trägt aber auch allgemein zu einem besseren Verständnis von Programmiersprachen und entsprechenden Programmierparadigmen (z.B. imperativ, logisch, funktional, objektorientiert) bei.
In der Vorlesung werden theoretische Grundlagen gegeben und einfache theoretische Typmodelle erarbeitet, um dann Typsysteme existierender Programmiersprachen charakterisieren und einordnen zu können. Weiterhin werden ausgewählte Algorithmen zur Typüberprüfung und Typinferenz behandelt.
Zuhörerkreis: Studenten im Vertiefungsgebiet Softwaretechnik/Programmiersprachen und Interessenten
Voraussetzungen: Vorteilhaft sind Grundkenntnisse in Programmiersprachen.
Organisation:
| Umfang: | 2 SWS | |
| Beginn: | 18.Oktober 2007 | |
| Zeiten: | Do., 9:00-11:00 Uhr | |
| Ort: | Raum 309, A.-Einstein-Str.21 | |
| Abschluß: | Möglichkeit des Erwerbs eines qualifizierten Übungsscheins |
Materialien:
Literatur: im Stud.IP
Skripte: im Stud.IP
Übungsaufgaben: im Stud.IP