Einleitung

Semantik:

• Ausdruck hat Wert (Zahl, Objekt, ...)

  (Ausdruck wird ausgewertet)

• Anweisung hat Wirkung (Änderung des Programm/Welt-Zustandes)

  (Anweisung wird ausgeführt)

Vgl. Trennung (in Pascal, Ada)

• Funktion (Aufruf ist Ausdruck)
• Prozedur (Aufruf ist Anweisung)

in den allen imperativen Sprachen gibt es Ausdrücke mit Nebenwirkungen