Ausdrücke $\to$ Kellermaschine

Beispiel:

3*x + 1 $\Rightarrow$ push 3, push x, mal, push 1, plus

• Code für Konstante/Variable c : push c;
• Code für Ausdruck x op y: code(x); code(y); op;
• Ausführung eines Operators:

  holt beide Argumente vom Stack, schiebt Resultat auf Stack

Der erzeugte Code ist synthetisiertes Attribut!

Beispiel: Java-Bytecode (javac, javap)