SoSe 14: Semantik von Programmiersprachen
Elfriede Fehr
Hinweise für Studierende
Abgabe der Lösungsblätter bis jeweils Dienstag 12:00 Uhr
Zusätzl. Angaben / Voraussetzungen
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
SchließenKommentar
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.
SchließenLiteraturhinweise
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 Termine
Zusätzliche Termine
Do, 31.07.2014 10:00 - 12:00 Do, 09.10.2014 08:00 - 10:00Regelmäßige Termine der Lehrveranstaltung
Inhalt:
Diese Vorlesung vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze ... Lesen Sie weiter