The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for NonNull with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1993-2010 (15) 2011 (2)
Publication types (Num. hits)
article(4) inproceedings(13)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 55 occurrences of 18 keywords

Results
Found 17 publication records. Showing 17 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
119Matthew M. Papi, Michael D. Ernst Compile-time type-checking for custom type qualifiers in Java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
119Matthew M. Papi, Michael D. Ernst Compile-time type-checking for custom type qualifiers in Java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
39Andriëtte Bekker, Jacobus J. J. Ehlers, Mohammad Arashi Exact nonnull distribution of Wilks' statistic: The ratio and product of independent components. Search on Bibsonomy J. Multivar. Anal. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
39Chris Male, David J. Pearce 0001, Alex Potanin, Constantine Dymnikov Formalisation and implementation of an algorithm for bytecode verification of @NonNull types. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
39Chris Male, David J. Pearce 0001, Alex Potanin, Constantine Dymnikov Java Bytecode Verification for @NonNull Types. Search on Bibsonomy CC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Torbjörn Ekman 0001, Görel Hedin Pluggable checking and inferencing of nonnull types for Java. Search on Bibsonomy J. Object Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Laurent Hubert A non-null annotation inferencer for Java bytecode. Search on Bibsonomy PASTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java, static analysis, annotation, inference, NonNull
27Matthew M. Papi, Mahmood Ali, Michael D. Ernst Compile-time type-checking for custom type qualifiers in java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
27Matthew M. Papi, Mahmood Ali, Michael D. Ernst Compile-time type-checking for custom type qualifiers in Java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
27Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst Practical pluggable types for java. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
23Nathaniel Ayewah, William W. Pugh Null dereference analysis in practice. Search on Bibsonomy PASTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF null pointer dereference, static analysis
23Sylvain Guillemot FPT Algorithms for Path-Transversals and Cycle-Transversals Problems in Graphs. Search on Bibsonomy IWPEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
23Pascal Chevalier 0001, Audrey Blin Widely Linear MVDR Beamformers for the Reception of an Unknown Signal Corrupted by Noncircular Interferences. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Brian Chin, Shane Markstrum, Todd D. Millstein Semantic type qualifiers. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF extensible typechecking, type qualifiers, type soundness
23Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter. Search on Bibsonomy ISAAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Oscar H. Ibarra, Tao Jiang 0001, Nicholas Q. Trân, Hui Wang 0008 New Decidability Results Concerning Two-way Counter Machines and Applications. Search on Bibsonomy ICALP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
23Oscar H. Ibarra, Tao Jiang 0001, Nicholas Q. Trân, Hui Wang 0008 On the Equivalence of Two-way Pushdown Automata and Counter Machines over Bounded Languages. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #17 of 17 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license