Java Virtual Machine Specification
E72228
The Java Virtual Machine Specification is the formal technical document that defines the architecture, behavior, and execution model of the Java Virtual Machine, ensuring consistent implementation of Java across different platforms.
Aliases (7)
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
software standard
→
technical specification → |
| appliesTo |
Java Virtual Machine
→
Java platform → |
| defines |
JVM exception handling semantics
→
JVM initialization process → JVM linking process → JVM loading process → JVM memory model → JVM method invocation semantics → JVM runtime data areas → JVM threading and synchronization semantics → JVM verification rules → Java Virtual Machine architecture → Java Virtual Machine class file format → Java Virtual Machine execution model → Java bytecode instruction set → |
| doesNotSpecify |
particular JVM implementation details
→
specific JIT compilation strategies → specific garbage collection algorithms → |
| ensures |
consistent implementation of Java across platforms
→
|
| field |
computer science
→
programming languages → virtual machines → |
| format |
formal prose
→
technical reference document → |
| hasVersion |
First Edition
→
Java SE 11 Edition → Java SE 17 Edition → Java SE 7 Edition → Java SE 8 Edition → Second Edition → Third Edition → |
| language |
English
→
|
| publishedBy |
Oracle Corporation
→
Sun Microsystems → |
| relatedTo |
JVM implementations
→
Java Language Specification → Java SE platform → Java bytecode → |
| specifies |
binary compatibility rules for Java classes
→
constraints on bytecode verification → constraints on class loading → constraints on data types and values → garbage collection requirements at abstract level → monitor and lock semantics → thread synchronization mechanisms → |
| targetAudience |
JVM implementers
→
advanced Java developers → compiler writers → |
Referenced by (9)
| Subject (surface form when different) | Predicate |
|---|---|
|
Java Virtual Machine Specification
("Java Virtual Machine architecture")
→
Java Virtual Machine Specification ("Java Virtual Machine execution model") → Java Virtual Machine Specification ("Java Virtual Machine class file format") → Java Virtual Machine Specification ("Java bytecode instruction set") → |
defines |
|
Java Community Process
("Java specification")
→
|
hasOutput |
|
Java
→
|
hasSpecification |
|
HotSpot JVM
→
|
implements |
|
Scala
("Java Virtual Machine")
→
|
runsOn |
|
IntelliJ IDEA
("JVM")
→
|
supportsPlatform |