Allgemeine Informationen

Veranstaltungsname	Vorlesung + Übung: Semantik von Programmiersprachen
Veranstaltungsnummer	INF-5008
Semester	WS 2022/23
Aktuelle Anzahl der Teilnehmenden	5
erwartete Teilnehmendenanzahl	20
Heimat-Einrichtung	Softwaretechnik
Veranstaltungstyp	Vorlesung + Übung in der Kategorie Lehre
Erster Termin	Montag, 27.02.2023 10:00 - 16:00, Ort: (LMU, Oettingenstraße 67, 057)
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	deutsch
ECTS-Punkte	5

Lehrende

Prof.Dr. Alexander Knapp

Räume und Zeiten

(LMU, Oettingenstraße 67, 057): Montag, 27.02.2023 - Freitag, 03.03.2023 10:00 - 16:00

Studienbereiche

Kommentar/Beschreibung

Eine operationalen Semantik beschreibt die Bedeutung eines Programmkonstrukts anhand dessen Ausführung; eine denotationelle Semantik konzentriert sich auf das Ein-/Ausgabeverhalten des Konstrukts; eine axiomatische Semantik schließlich gibt Zusicherungen über die Programmkonstrukte.

In dieser Veranstaltung werden anhand einer Vielzahl von Beispielen, eingebettet in eine imperative WHILE-Sprache, diese drei klassischen Semantikansätze vorgestellt.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Master SE".

Folgende Regeln gelten für die Anmeldung:

Folgende Bedingung muss zur Anmeldung erfüllt sein:

Studienfach ist Software Engineering

Vorlesung + Übung: Semantik von Programmiersprachen - Details