Martin-Luther-Universität Halle-Wittenberg

Logo des Lehrstuhls Software-Engineering und Progammiersprachen

Weiteres

Login für Redakteure

Semantik von Programmiersprachen

Klausurtermine

Die mündlichen Prüfungen finden am 01.02.2016 statt.

Für die Terminabsprache melden Sie sich bitte bei Frau Vahrenhold.

Ort, Zeit

Vorlesung:

Do 8-11 Uhr, HS 1.23

Übungen:

Mi 8-10 Uhr, SR 1.30

Vorlesungsinhalte

Ohne die Definition einer Semantik einer Programmiersprache ist für die Konstruktion korrekter Softwarewerkzeuge unmöglich, weil die formale Basis für die Korrektheit fehlt. Insbesondere kann die Korrektheit von Programmanalysen und Transformationen nicht beurteilt werden. Das Modul zeigt auf welchen verschiedenen Arten eine formale Semantik definiert werden kann und welchen Nutzen diese Definition hat, z.B. indem gezeigt wird das Programmiersprachen stark typisiert sind, also keine Typfehler zur Laufzeit aufweisen, dass Verifikationskalküle korrekt sind, oder wie Übersetzer verifiziert werden können.

Teilnahmevoraussetzung

entsprechend der allgemeinen Modulbeschreibung

Folien

Die Folien zur Lehrveranstaltung finden Sie im Stud.IP.

Übungen

Übung 1
u1.pdf (externe Datei)

Übung 2
u2.pdf (externe Datei)

Übung 3
u3.pdf (externe Datei)

Übung 4
u4.pdf (externe Datei)

Zum Seitenanfang