A specification for a java bytecode interpreter. For example The Java® Virtual Machine Specification (oracle.com).
There are many implementations of the JVM, including [[HotSpot]] , [[IBM J9]] .
The [[OpenJDK]] project includes an open source implementation of [[HotSpot]].