Sciweavers

Share
2 search results - page 1 / 1
» A Non-Null Annotation Inferencer for Java Bytecode
Sort
View
CORR
2010
Springer
152views Education» more  CORR 2010»
9 years 2 months ago
A Non-Null Annotation Inferencer for Java Bytecode
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
Laurent Hubert
CC
2008
Springer
111views System Software» more  CC 2008»
9 years 4 months ago
Java Bytecode Verification for @NonNull Types
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...
Chris Male, David J. Pearce, Alex Potanin, Constan...
books