Search results for "nonnull"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
119	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
119	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
39	Andriëtte Bekker, Jacobus J. J. Ehlers, Mohammad Arashi	Exact nonnull distribution of Wilks' statistic: The ratio and product of independent components.	J. Multivar. Anal.	2011	DBLP DOI BibTeX RDF
39	Chris Male, David J. Pearce 0001, Alex Potanin, Constantine Dymnikov	Formalisation and implementation of an algorithm for bytecode verification of @NonNull types.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
39	Chris Male, David J. Pearce 0001, Alex Potanin, Constantine Dymnikov	Java Bytecode Verification for @NonNull Types.	CC	2008	DBLP DOI BibTeX RDF
39	Torbjörn Ekman 0001, Görel Hedin	Pluggable checking and inferencing of nonnull types for Java.	J. Object Technol.	2007	DBLP DOI BibTeX RDF
27	Laurent Hubert	A non-null annotation inferencer for Java bytecode.	PASTE	2008	DBLP DOI BibTeX RDF	Java, static analysis, annotation, inference, NonNull
27	Matthew M. Papi, Mahmood Ali, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
27	Matthew M. Papi, Mahmood Ali, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
27	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	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
23	Nathaniel Ayewah, William W. Pugh	Null dereference analysis in practice.	PASTE	2010	DBLP DOI BibTeX RDF	null pointer dereference, static analysis
23	Sylvain Guillemot	FPT Algorithms for Path-Transversals and Cycle-Transversals Problems in Graphs.	IWPEC	2008	DBLP DOI BibTeX RDF
23	Pascal Chevalier 0001, Audrey Blin	Widely Linear MVDR Beamformers for the Reception of an Unknown Signal Corrupted by Noncircular Interferences.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
23	Brian Chin, Shane Markstrum, Todd D. Millstein	Semantic type qualifiers.	PLDI	2005	DBLP DOI BibTeX RDF	extensible typechecking, type qualifiers, type soundness
23	Zhe Dang, Oscar H. Ibarra, Zhi-Wei Sun	On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter.	ISAAC	2002	DBLP DOI BibTeX RDF
23	Oscar H. Ibarra, Tao Jiang 0001, Nicholas Q. Trân, Hui Wang 0008	New Decidability Results Concerning Two-way Counter Machines and Applications.	ICALP	1993	DBLP DOI BibTeX RDF
23	Oscar 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.	STACS	1993	DBLP DOI BibTeX RDF