Programmiersprachen und Typsysteme

Die Vorlesung gibt eine Einführung in den systematischen Aufbau von Programmiersprachen. Im Vordergrund steht nicht die Vielfalt von Programmiersprachen, sondern deren gemeinsame begriffliche Grundlagen. Nach einem Überblick über verschiedene Sprachkonzepte werden grundlegende Begriffe anhand einer einfachen Sprache geklärt: konkrete Syntax, abstrakte Syntax, Bindung, Typisierung, Blockstruktur. Danach werden operationelle Semantik (Auswertung) und denotationelle Semantik (Bedeutung) behandelt.