Fachkonzept - Semantik

Semantik von Programmiersprachen

Die Semantik einer Sprache beschreibt, welche Bedeutung den Einheiten der Sprache zugeordnet wird.

Zur Beschreibung der Semantik der Programmiersprache MyKa muss letztlich festgelegt werden, wie ein Programm einen vorgegebenen MyKa-Welt-Zustand in einen neuen MyKa-Welt-Zustand überführt.

Die Semantik der Programmiersprache MyKa wird also durch eine Zuordnung

myka_sem: (programm, zustand_vorher) --> zustand_nachher

festgelegt.

Eine Präzisierung dieser Zuordnung kann z.B. mit Hilfe eines Interpreters vorgenommen werden. Wir werden eine solche Präzisierung in Abschnitt ... vornehmen.