Java Bytecode Verification for @NonNull Types.

Chris Male David J. Pearce Alex Potanin Constantine Dymnikov

Published in: CC (2008)

Keyphrases

java bytecode
garbage collection
efficient execution