19304001 Vorlesung

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ßen

Literaturhinweise

14 Termine

Zusätzliche Termine

Mo, 24.07.2017 10:00 - 12:00
Klausur

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Mi, 11.10.2017 14:00 - 16:00
Nachklausur

Dozenten:
Max Willert

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

Regelmäßige Termine der Lehrveranstaltung

Di, 18.04.2017 08:00 - 10:00

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Di, 25.04.2017 08:00 - 10:00

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Di, 02.05.2017 08:00 - 10:00

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Di, 09.05.2017 08:00 - 10:00

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Di, 16.05.2017 08:00 - 10:00

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Di, 23.05.2017 08:00 - 10:00

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Di, 30.05.2017 08:00 - 10:00

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Di, 06.06.2017 08:00 - 10:00

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Di, 13.06.2017 08:00 - 10:00

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Di, 20.06.2017 08:00 - 10:00

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Di, 27.06.2017 08:00 - 10:00

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Di, 04.07.2017 08:00 - 10:00

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Di, 11.07.2017 08:00 - 10:00

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Di, 18.07.2017 08:00 - 10:00

Dozenten:
Univ.-Prof. Wolfgang Mulzer

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

Studienfächer A-Z