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