3 search results - page 1 / 1 » Semantic Foundations and Inference of Non-null Annotations |
CORR
2010
Springer
13 years 5 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...
FMOODS
2008
13 years 7 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
IJSWIS
2007
13 years 5 months ago
2007
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is need for ...