Насчет лучшей переносимости, честно говоря, как-то не уверен. Это атрибут именно виртуальных машин, а не конкретно стековой. Скажем, в Эрланг-машине мы имеем дело с обычной регистровой реализацией. Я могу, конечно, ошибаться, но переносимость там не хуже.
А насчет компактности. Что вы имеете ввиду? Он лучше структурирован или занимает меньше место? Поясните, если не трудно?