Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase try-finally (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999 (1) 2003 (1) 2004 (1)
Publication types (Num. hits)
article(2) inproceedings(1)
Venues (Conferences, Journals, ...)
ACM Trans. Program. Lang. Syst...(1) J. Autom. Reason.(1) OOPSLA(1)
Authors
George C. Necula(1) Joachim Schmid 0001(1) Martín Abadi(1) Raymie Stata(1) Robert F. Stärk(1) Westley Weimer(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 6 keywords
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
65Westley Weimer, George C. Necula Finding and preventing run-time error handling mistakes. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF destructors, try-finally, dataflow, exceptions, finalizers
7Robert F. Stärk, Joachim Schmid 0001 Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Java, bytecode verification, certifying compilation
7Raymie Stata, Martín Abadi A Type System for Java Bytecode Subroutines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Java, Java, bytecode verification
Displaying result #1 - #3 of 3 (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