Vorlesung + Übung: Semantik von Programmiersprachen - Details

Vorlesung + Übung: Semantik von Programmiersprachen - Details

Allgemeine Informationen

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

Räume und Zeiten

LMU, Oettingenstraße 67, 057

  • Montag, 27.02.23, 10:00 - 16:00 Uhr
  • Dienstag, 28.02.23, 10:00 - 16:00 Uhr
  • Mittwoch, 01.03.23, 10:00 - 16:00 Uhr
  • Donnerstag, 02.03.23, 10:00 - 16:00 Uhr
  • Freitag, 03.03.23, 10:00 - 16:00 Uhr

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