Stack machine containing integers

Generating code by postfix traversal of the tree

Correctness proof of the translation