SoSe 17: Semantik von Programmiersprachen
Wolfgang Mulzer
Kommentar
Inhalt:
Diese Vorlesung vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen.
Wir werden verschiedene Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellen und im Detail beleuchten. Dabei wird auch auf die Anwendung dieser Techniken eingegangen, insbesondere im Rahmen des Compilerbaus und als Grundlage zur Entwicklung funktionaler Programmiersprachen.
Website
http://www.inf.fu-berlin.de/lehre/SS17/Semantik/index.html
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
14 Termine
Zusätzliche Termine
Mo, 24.07.2017 10:00 - 12:00Regelmäßige Termine der Lehrveranstaltung
Inhalt:
Diese Vorlesung vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Wir werden verschiedene Formalisierungsansätze (die ... Lesen Sie weiter