Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1999-2008 (12)
Publication types (Num. hits)
article(3) inproceedings(9)
Venues (Conferences, Journals, ...)
ACM Trans. Program. Lang. Syst...(1) ASIA-PEPM(1) CASCON(1) CAV(1) J. Object Technol.(1) LCTES(1) New Gener. Comput.(1) OOPSLA(1) PADL(1) PADO(1) QSIC(1) SAC(1)
Authors
Futoshi Iwama(2) Mourad Debbabi(2) Naoki Kobayashi 0001(2) Akinori Yonezawa(1) Chandrasekhar Boyapati(1) Elvira Albert(1) Gang Tan(1) Germán Puebla(1) Greg Morrisett(1) Hamdi Yahyaoui(1) Hidehiko Masuhara(1) Hongwei Xi(1) Laurent Hubert(1) Martín Abadi(1) Michael Roberson(1) Miguel Gómez-Zamalloa(1) More (+10 of total 24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 12 keywords
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
225Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati A type system for preventing data races and deadlocks in the java virtual machine language: 1. Search on Bibsonomy LCTES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SafeJava, deadlocks, data races, ownership types
135Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. Search on Bibsonomy PADL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
130Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL. Search on Bibsonomy QSIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
90Raymie 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
81Gang Tan, Greg Morrisett Ilea: inter-language analysis across java and c. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF JVML, inter-language analysis, specification extraction, JNI, java native interface
45Futoshi Iwama, Naoki Kobayashi 0001 A New Type System for JVM Lock Primitives. Search on Bibsonomy New Gener. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java Bytecode Verifier, Type System, Lock
45Roberto Barbuti, Stefano Cataudella 0001 Java bytecode verification on Java cards. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF abstract interpretation, Java card, Java bytecode
45Futoshi Iwama, Naoki Kobayashi 0001 A new type system for JVM lock primitives. Search on Bibsonomy ASIA-PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF bytecode verifier, Java, type system, lock
45Hidehiko Masuhara, Akinori Yonezawa Run-Time Bytecode Specialization. Search on Bibsonomy PADO The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
45Hongwei Xi, Songtao Xia Towards array bound check elimination in Java TM virtual machine language. Search on Bibsonomy CASCON The full citation details ... 1999 DBLP  BibTeX  RDF Java
40Nadia Belblidia, Mourad Debbabi A Dynamic Operational Semantics for JVML. Search on Bibsonomy J. Object Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
40Yves Bertot Formalizing a JVML Verifier for Initialization in a Theorem Prover. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (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