Max Bernstein explains how a compiler can turn stack-based bytecode into static single assignment form by tracking ...