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

Dozenten:
Univ.-Prof. Dr. Elfriede Fehr

Räume:
SR 006/T9 Seminarraum (Takustr. 9)

Do, 18.04.2013 08:00 - 10:00

Dozenten:
Univ.-Prof. Dr. Elfriede Fehr

Räume:
SR 005/T9 Übungsraum (Takustr. 9)

Do, 25.04.2013 08:00 - 10:00

Dozenten:
Univ.-Prof. Dr. Elfriede Fehr

Räume:
SR 005/T9 Übungsraum (Takustr. 9)

Do, 02.05.2013 08:00 - 10:00

Dozenten:
Univ.-Prof. Dr. Elfriede Fehr

Räume:
SR 005/T9 Übungsraum (Takustr. 9)

Do, 16.05.2013 08:00 - 10:00

Dozenten:
Univ.-Prof. Dr. Elfriede Fehr

Räume:
SR 005/T9 Übungsraum (Takustr. 9)

Do, 23.05.2013 08:00 - 10:00

Dozenten:
Univ.-Prof. Dr. Elfriede Fehr

Räume:
SR 005/T9 Übungsraum (Takustr. 9)

Do, 30.05.2013 08:00 - 10:00

Dozenten:
Univ.-Prof. Dr. Elfriede Fehr

Räume:
SR 005/T9 Übungsraum (Takustr. 9)

Do, 06.06.2013 08:00 - 10:00

Dozenten:
Univ.-Prof. Dr. Elfriede Fehr

Räume:
SR 005/T9 Übungsraum (Takustr. 9)

Do, 13.06.2013 08:00 - 10:00

Dozenten:
Univ.-Prof. Dr. Elfriede Fehr

Räume:
SR 006/T9 Seminarraum (Takustr. 9)

Do, 20.06.2013 08:00 - 10:00

Dozenten:
Univ.-Prof. Dr. Elfriede Fehr

Räume:
SR 006/T9 Seminarraum (Takustr. 9)

Do, 27.06.2013 08:00 - 10:00

Dozenten:
Univ.-Prof. Dr. Elfriede Fehr

Räume:
SR 006/T9 Seminarraum (Takustr. 9)

Do, 04.07.2013 08:00 - 10:00

Dozenten:
Univ.-Prof. Dr. Elfriede Fehr

Räume:
SR 006/T9 Seminarraum (Takustr. 9)

Do, 11.07.2013 08:00 - 10:00

Dozenten:
Univ.-Prof. Dr. Elfriede Fehr

Räume:
SR 006/T9 Seminarraum (Takustr. 9)

Studienfächer A-Z