Vorlesung + Übung: Semantik von Programmiersprachen - Details

Actions

• Print

Share

• Copy link to this course

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

Lecturers

• Prof.Dr. Alexander Knapp

Course location / Course dates

unspecified

Fields of study

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

Module assignments

• Software Engineering Elitestudiengang Software Engineering, 8. > Schwerpunkt Formale Methoden und IT-Sicherheit > Semantik von Programmiersprachen, valid from WS 2014/15 > Semantik von Programmiersprachen
• Software Engineering Elitestudiengang Software Engineering, 7. ( - SS 2020) > Schwerpunkt Formale Methoden und IT-Sicherheit > Semantik von Programmiersprachen, valid from WS 2014/15 > Semantik von Programmiersprachen
• Software Engineering Elitestudiengang Software Engineering, 6. ( - SS 2019) > Schwerpunkt Formale Methoden und IT-Sicherheit > Semantik von Programmiersprachen, valid from WS 2014/15 > Semantik von Programmiersprachen
• Software Engineering Elitestudiengang Software Engineering, 1. > Fachliche Lehre Wahlveranstaltungen - Formale Methoden und IT-Sicherheit > Semantik von Programmiersprachen, valid from WS 2014/15 > Semantik von Programmiersprachen
• Software Engineering Elitestudiengang Software Engineering, 3. ( - SS 2017) > Schwerpunkt Formale Methoden und IT-Sicherheit > Semantik von Programmiersprachen, valid from WS 2014/15 > Semantik von Programmiersprachen
• Software Engineering Elitestudiengang Software Engineering, 5. ( - SS 2018) > Schwerpunkt Formale Methoden und IT-Sicherheit > Semantik von Programmiersprachen, valid from WS 2014/15 > Semantik von Programmiersprachen
• Software Engineering Elitestudiengang Software Engineering, 2. ( - SS 2016) > Schwerpunkt Formale Methoden und IT-Sicherheit > Semantik von Programmiersprachen, valid from WS 2014/15 > Semantik von Programmiersprachen
• Software Engineering Elitestudiengang Software Engineering, 4. ( - WS 2017/18) > Schwerpunkt Formale Methoden und IT-Sicherheit > Semantik von Programmiersprachen, valid from WS 2014/15 > Semantik von Programmiersprachen

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