Semantik der Zuweisungsanweisung

Die Syntax einer Programmiersprache legt fest, wie ein Programm auszusehen hat. Sie ist die Grammatik wie Symbole anzuordnen sind. Die Semantik einer Programmiersprache bestimmt, was ein Programm tut, wenn es ausgeführt wird. Sie legt fest, was die Symbole bedeuten.

Diese Seite erklärt die Semantik einer Zuweisungsanweisung. Eine Zuweisungsanweisung verlangt vom Computer die Durchführung von zwei Schritten, und zwar in einer bestimmten Reihenfolge:

1. Zuerst wird der Ausdruck RECHTS vom Gleichheitszeichen ausgewertet.
   • Wenn es nichts zu berechnen gibt, wird der Wert auf der rechten Seite verwendet.
2. Danach, wird der Inhalt der Variablen LINKS vom Gleichheitszeichen durch das Ergebnis der Auswertung ersetzt.