コンパイラの結果をスタックマシン型の VM に落とすことを考える。JVM などでは iload なるものがある。きっと istore もある(あーあったあった）だから、スタックと"変数"への出し入れは自由なわけだ。a = b + cを考えると iload b iload c + istore aとか…