Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:church
|
| gptkbp:bfsLayer |
4
|
| gptkbp:bfsParent |
gptkb:Java_Virtual_Machine_(JVM)
|
| gptkbp:ensures |
Type safety
|
| gptkbp:function |
Validates bytecode for correctness
|
| https://www.w3.org/2000/01/rdf-schema#label |
Bytecode Verifier
|
| gptkbp:is_implemented_in |
gptkb:Java
|
| gptkbp:is_part_of |
gptkb:Java_Enhancement_Proposal
|
| gptkbp:is_protected_by |
Security vulnerabilities
|
| gptkbp:operates |
gptkb:Java_bytecode
|
| gptkbp:provides |
Error reporting for invalid bytecode
|
| gptkbp:recognizes |
Illegal bytecode instructions
|
| gptkbp:used_in |
gptkb:video_game
|