Nächste Seite: Bsp: Operationale Semantik (II) Aufwärts: Semantik von Programmiersprachen Vorherige Seite: Dynamische Semantik

Bsp. Operationale Semantik (I)

arithmetischer Ausdruck ⇒ Programm für Kellermaschine

3*x + 1 ⇒ push 3, push x, mal, push 1, plus

• Code für Konstante/Variable c : push c;
• Code für Ausdruck xoy : code(x); code(y); o;
• Ausführung eines binären Operators o :

  x <- pop; y <- pop; push (x o y);

Beispiele: Java-Bytecode (javac, javap),
CIL (gmcs, monodis)

Bemerkung: soweit scheint alles trivial--interessant wird es bei Teilausdrücken mit Nebenwirkungen, Bsp. x++ - --x;