2 search results - page 1 / 1 » A Non-Null Annotation Inferencer for Java Bytecode |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
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...
CC
2008
Springer
13 years 6 months ago
2008
Springer
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...