Aktuelle Seite:
Vorlesung + Übung: Semantik von Programmiersprachen - Details

  • Detaillierte Informationen über die Veranstaltung werden angezeigt, wie z.B. die Veranstaltungsnummer, Zuordnungen, DozentInnen, TutorInnen etc. In den Detail-Informationen ist unter Aktionen das Eintragen in eine Veranstaltung möglich.

  • link-extern Weiterführende Hilfe
Sie sind nicht angemeldet.

Lehrveranstaltung wird online/digital abgehalten. Online/Digitale Veranstaltung Semantik von Programmiersprachen

Allgemeine Informationen

Veranstaltungsnummer INF-5008
Semester WS 2019/20
Heimat-Einrichtung Softwaretechnik
Veranstaltungstyp Vorlesung + Übung in der Kategorie Lehre
Erster Termin Mon , 24.02.2020 10:00 - 16:00, Ort: (LMU, Oe67, 131)
Online/Digitale Veranstaltung Veranstaltung wird online/digital abgehalten.
Hauptunterrichtssprache deutsch
ECTS-Punkte 5

Lehrende

Zeiten

Termine am Monday. 24.02. - Friday. 28.02. 10:00 - 16:00

Veranstaltungsort

(LMU, Oe67, 131)

Studienbereiche

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

Teilnehmerzahlen

Aktuelle Anzahl der Teilnehmenden 7
erwartete Teilnehmeranzahl 20