Sciweavers

Share
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
books