Java Bytecode Verification: An Overview
No abstract available.
Related papers
- Java Bytecode Verification by Model Checking CAV 1999
- Java Bytecode Verification for @NonNull Types CC 2008
- Java bytecode verification via static single assignment form TOPLAS 2008
- Standard fixpoint iteration for Java bytecode verification TOPLAS 2000
- JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution) TACAS 2019
- A Type System for Java Bytecode Subroutines POPL 1998
- A Type System for Java Bytecode Subroutines TOPLAS 1999
- Decomposing bytecode verification by abstract interpretation TOPLAS 2008