Vorlesung + Übung: Semantik von Programmiersprachen - Details

Vorlesung + Übung: Semantik von Programmiersprachen - Details

General information

Course name Vorlesung + Übung: Semantik von Programmiersprachen
Course number INF-5008
Semester WS 2021/22
Current number of participants 4
expected number of participants 20
Home institute Softwaretechnik
Courses type Vorlesung + Übung in category Teaching
First date Monday, 28.02.22, 10:00 - 16:00 o'clock LMU, Oettingenstraße 67, 061
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile Yes
Hauptunterrichtssprache deutsch
ECTS points 5

Rooms and times

LMU, Oettingenstraße 67, 061

  • Monday, 28.02.22, 10:00 - 16:00 o'clock
  • Tuesday, 01.03.22, 10:00 - 16:00 o'clock
  • Wednesday, 02.03.22, 10:00 - 16:00 o'clock
  • Thursday, 03.03.22, 10:00 - 16:00 o'clock
  • Friday, 04.03.22, 10:00 - 16:00 o'clock

Comment/Description

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.

Admission settings

The course is part of admission "Master SE".
The following rules apply for the admission:
  • The following conditions must be met for enrolment:
    Field of study is Software Engineering