Skip to main content

Java Bytecode Verification for @NonNull Types

Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov

PDF DOI 10.1007/978-3-540-78791-4_16 dblp BibTeX

No abstract available.

Related papers

Java bytecode verification via static single assignment form TOPLAS 2008
Standard fixpoint iteration for Java bytecode verification TOPLAS 2000
A Type System for Java Bytecode Subroutines POPL 1998
A Type System for Java Bytecode Subroutines TOPLAS 1999
Java Bytecode Verification: An Overview CAV 2001
Java Bytecode Verification by Model Checking CAV 1999
Decomposing bytecode verification by abstract interpretation TOPLAS 2008
Efficient Inference of Static Types for Java Bytecode SAS 2000