SoSe 14: Semantik von Programmiersprachen
Elfriede Fehr
Information for students
Abgabe der Lösungsblätter bis jeweils Dienstag 12:00 Uhr
Additional information / Pre-requisites
2,4 Vorlesung: Donnerstag von 8:30 bis 10:00 Uhr
Übung: Mittwoch von 8:30 bis 10:00 bzw. von 10:15 bis 11:45 Uhr
Voraussetzungen:
Grundkenntnisse in Mathematik und Programmiersprachen
closeComments
Inhalt:
Diese Vorlesung vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen.
Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert. Anschließend wird die mathematische Theorie der semantischen Bereiche behandelt, die bei der denotationellen Methode, Anwendung findet. Danach wird schrittweise eine umfassende, imperative Programmiersprache entwickelt und die Semantik der einzelnen Sprachelemente denotationell spezifiziert. Dabei wird die Fortsetzungstechnik (continuation semantics) systematisch erklärt und verwendet. Schließlich wird auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen.
closeSuggested reading
Elfriede Fehr: Semantik von Programmiersprachen, Springer-Verlag 1989
Hanne Riis Nielson, Flemming Nielson: Semantics with Applications: A Formal Introduction, Wiley 1999
Glynn Winskel: The Formal Semantics of Programming Languages, Foundations of Computing Series, MIT Press, 1993, Vorlesungsskript dazu
12 Class schedule
Additional appointments
Thu, 2014-07-31 10:00 - 12:00 Thu, 2014-10-09 08:00 - 10:00Regular appointments
Inhalt:
Diese Vorlesung vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze ... read more