Vorlesung + Übung: Semantik von Programmiersprachen - Details

General information

Course name	Vorlesung + Übung: Semantik von Programmiersprachen
Course number	INF-5008
Semester	WS 2022/23
Current number of participants	5
expected number of participants	20
Home institute	Softwaretechnik
Courses type	Vorlesung + Übung in category Teaching
First date	Monday, 27.02.2023 10:00 - 16:00, Room: (LMU, Oettingenstraße 67, 057)
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Yes
Hauptunterrichtssprache	deutsch
ECTS points	5

Lecturers

• Prof.Dr. Alexander Knapp

Rooms and times

(LMU, Oettingenstraße 67, 057)

Monday, 27.02.2023 - Friday, 03.03.2023 10:00 - 16:00

Fields of study

• Elitestudiengänge
• Fakultät für Angewandte Informatik > Informatik

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:
  
  Subject is Software Engineering