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 Software Engineering".
Folgende Regeln gelten für die Anmeldung:
Folgende Bedingung muss zur Anmeldung erfüllt sein:
