Digicampus
Vorlesung + Übung: Semantik von Programmiersprachen - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird als Hybrid/gemischt abgehalten.

General information

Course number INF-5008
Semester WS 2020/21
Current number of participants 6
expected number of participants 20
Home institute Softwaretechnik
Courses type Vorlesung + Übung in category Teaching
Online/Digitale Veranstaltung Veranstaltung wird als Hybrid/gemischt abgehalten.
Hauptunterrichtssprache deutsch
ECTS points 5

Course location / Course dates

unspecified

Module assignments

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 20/21".
Settings for unsubscribe:
  • The following conditions must be met for enrolment:
    Subject is Software Engineering