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

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

Виртуальная машина, которая эволюционировала в виртуальную машину Java, была первоначально разработана Джеймсом Гослингом в 1992 году для поддержки языка программирования Oak. Эволюция в её нынешнюю форму произошла благодаря прямым и косвенным усилиям многих людей и охватила проекты Sun's Green, FirstPerson, Inc., LiveOak, Java Products Group, JavaSoft и группу Java Software в Sun.

Эта книга началась как внутренняя проектная документация, отредактированная Кэти Уолрат. Затем она была преобразована в HTML Мэри Кэмпион и размещена на нашем веб-сайте, прежде чем быть расширена до книжной формы.

Создание Спецификации виртуальной машины Java во многом обязано поддержке Java Products Group под руководством генерального менеджера Рут Хеннигар, усилиям редактора серии Лизы Френдли и редактору Майку Хендрику и его группе в Addison-Wesley. Мы выражаем особую благодарность Ричарду Таку за его тщательный обзор рукописи. Особая благодарность Биллу Джою, чьи комментарии, обзоры и руководство существенно способствовали полноте и точности этой книги.