19554
Vorlesung
SoSe 13: Semantik von Programmiersprachen
Elfriede Fehr
Kommentar
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. Voraussetzungen Grundkenntnisse in Mathematik und Programmiersprachen Literatur Elfriede Fehr: Semantik von Programmiersprachen, Springer-Verlag 1989 Hanne Riis Nielson, Flemming Nielson: Semantics with Applications: A Formal Introduction, Wiley 1992 Schließen
13 Termine
Regelmäßige Termine der Lehrveranstaltung
Do, 11.04.2013 08:00 - 10:00
Do, 18.04.2013 08:00 - 10:00
Do, 25.04.2013 08:00 - 10:00
Do, 02.05.2013 08:00 - 10:00
Do, 16.05.2013 08:00 - 10:00
Do, 23.05.2013 08:00 - 10:00
Do, 30.05.2013 08:00 - 10:00
Do, 06.06.2013 08:00 - 10:00
Do, 13.06.2013 08:00 - 10:00
Do, 20.06.2013 08:00 - 10:00
Do, 27.06.2013 08:00 - 10:00
Do, 04.07.2013 08:00 - 10:00
Do, 11.07.2013 08:00 - 10:00