VMを記述する言語

随分まえのTBに反応しないで放置しているのがあったのに気づいて、遅ればせながら反応です^.^;
[id:lethevert:20061201:p2]の件ね。
クロスコンパイラという解は当然あるのですが、それって普通のユーザーにとってはいろいろ問題があるよね、という話は暗黙の前提なので。
ところで、VMを自分自身で記述している処理系といえば、Squeakなんかがそうじゃないですか？
VMって、ランタイムの要素とインタプリタの要素があると思うけれど、コードジェネレーションとVMのインタプリタ部分って同じようなものだし。