KDOC 268: ほかのスタックマシンで2重スタックマシンになっている例はあるか?

この文書のステータス

Rubyの仮想マシンYARVは、2重スタックマシンである。内部スタックに加えて、Rubyプログラムのコールスタックも把握し続ける。ほかのスタックマシンの実装ではどのようになっているのだろうか。