Semantik von Anweisungen

• Zuweisung: Name = Ausdruck;

  Wert des Ausdrucks berechnen und an Namen zuweisen (d. h. auf die durch Namen bezeichnete Speicherstelle schreiben)

• Block: {Anw1 ; Anw2; .. }

  Anweisungen der Reihe nach ausführen

• Verzweigung: if ( Bedingung ) Block1 [ else Block2 ]

  Wert der Bedingung (= ein Ausdruck vom Typ Wahrheitswert) berechnen, falls sich ,,wahr`` ergibt, dann Block1 ausführen, sonst Block2 ausführen (falls vorhanden)

• Schleife: while ( Bedingung ) Block

  is äquivalent zu

  A : if ( not Bedingung ) { goto E; }
      Block
      goto A;
  E:
  

  D. h. vor jeder Ausführung des Blocks wird die Bedingung ausgewertet.