Попробую-таки развить в духе предыдущего высказывания..

набор команд VM (разумеется, в контексте языков, для которых существуют виртуальные машины) оптимален по отношению к языку в значительно большей степени, чем набор машинных команд произвольной аппаратной платформы. Может что-то есть в "золотом фонде" по проектированию VM?