Unter einer
Zuweisung (englisch
assignment) versteht man in einer
imperativen Programmiersprache einen Typ von
Anweisung (englisch
statement), durch den eine
Variable einen neuen Wert erhält. In Abgrenzung von anderen Anweisungstypen, die ebenfalls den Wert einer Variablen verändern können (zum Beispiel Aufruf einer
Prozedur mit Nebeneffekten), spricht man nur dann von einer Zuweisung, wenn der Zuweisungsoperator der jeweiligen Programmiersprache verwendet wird. Viele Programmiersprachen berücksichtigen hierbei die
Zuweisungskompatibilität der beteiligten
Ausdrücke und Variablen, um
Programmfehler zu vermeiden.