|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|