Universitt Karlsruhe
Höhere Programmiersprachen (mit Übung)

Vorlesung WS 2004/2005

Übersicht über wichtige Eigenschaften und Mechanismen in Programmiersprachen.

-102 (Info) Mo wtl 14.00-15.30 Vorlesung

SR -118 (Info) Mo 2-wtl 15.45-17.15 Übung

Weitere Informationen: http://www.info.uni-karlsruhe.de/lehre/2004WS/hps/index.html

Vorkenntnisse: Informatik I, II, praktische Kenntnisse in wenigstens einer Programmiersprache

Lernziele: Die Vorlesung gliedert sich in zwei Teile. Im ersten Teil werden Grundlagen, Konzepte und Paradigmen moderner Programmiersprachen vermittelt. Diese werden jeweils an geeigneten Sprachen illustriert. Der zweite Teil gibt einen Überblick über verschiedene Methoden, die Semantik von Programmiersprachen formal zu definieren.

Literatur: wird in der Vorlesung bekanntgegeben

Veranstalter

Alumni
Prof. Sabine Glesner
Jan Olaf Blech
Login
Links