Сегодня вы можете лучше понять концепции, если будете смотреть и экспериментировать с обычными виртуальными машинами. Например, JVM - это стековая машина, с которой легко экспериментировать с доступными инструментами для компиляции и манипулирования байт-кодом.
Smalltalk - это еще один пример, но языки на основе стеков, в общем, заслуживают внимания, и полученное понимание легко переносится на аппаратный уровень при необходимости.