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.
All labels observed (8)
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
software standard
ⓘ
technical specification ⓘ |
| appliesTo |
Java Platform, Standard Edition
ⓘ
surface form:
Java Virtual Machine
Java Platform, Standard Edition ⓘ
surface form:
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 Specification self-linksurface differs ⓘ
surface form:
Java Virtual Machine architecture
Java Virtual Machine Specification self-linksurface differs ⓘ
surface form:
Java Virtual Machine class file format
Java Virtual Machine Specification self-linksurface differs ⓘ
surface form:
Java Virtual Machine execution model
Java Virtual Machine Specification self-linksurface differs ⓘ
surface form:
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 Platform, Standard Edition ⓘ
surface form:
Java SE 11 Edition
Java Platform, Standard Edition ⓘ
surface form:
Java SE 17 Edition
Java Platform, Standard Edition ⓘ
surface form:
Java SE 7 Edition
Java Platform, Standard Edition ⓘ
surface form:
Java SE 8 Edition
Second Edition ⓘ Third Edition ⓘ |
| language | English ⓘ |
| publishedBy |
Oracle Corporation
ⓘ
Sun Microsystems ⓘ |
| relatedTo |
JVM implementations
ⓘ
Java Language Specification ⓘ Java Platform, Standard Edition ⓘ
surface form:
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 (13)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Java specification
this entity surface form:
Java Virtual Machine
this entity surface form:
JVM
Java Virtual Machine Specification
→
defines
→
Java Virtual Machine Specification
self-linksurface differs
ⓘ
this entity surface form:
Java Virtual Machine architecture
Java Virtual Machine Specification
→
defines
→
Java Virtual Machine Specification
self-linksurface differs
ⓘ
this entity surface form:
Java Virtual Machine execution model
Java Virtual Machine Specification
→
defines
→
Java Virtual Machine Specification
self-linksurface differs
ⓘ
this entity surface form:
Java Virtual Machine class file format
Java Virtual Machine Specification
→
defines
→
Java Virtual Machine Specification
self-linksurface differs
ⓘ
this entity surface form:
Java bytecode instruction set