Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase bytecode languages (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1999 (1) 2008 (2) 2010 (2)
Publication types (Num. hits)
article(2) inproceedings(3)
Venues (Conferences, Journals, ...)
ACM Trans. Program. Lang. Syst...(1) Conf. Computing Frontiers(1) Formal Asp. Comput.(1) PLDI(1) SAC(1)
Authors
Albert Cohen(1) Antoniu Pop(1) Cupertino Miranda(1) Eduardo Bonelli(1) Florian Kammüller(1) Francisco Bavera(1) John C. Mitchell(1) Juan Chen(1) Marc Duranton(1) Nikhil Swamy(1) Philippe Dumont(1) Ravi Chugh(1) Stephen N. Freund(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 15 occurrences of 15 keywords
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Juan Chen, Ravi Chugh, Nikhil Swamy Type-preserving compilation of end-to-end verification of security enforcement. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security
1Cupertino Miranda, Philippe Dumont, Albert Cohen, Marc Duranton, Antoniu Pop ERBIUM: a deterministic, concurrent intermediate representation for portable and scalable performance. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2010 DBLP  DOI  BibTeX  RDF kpn, parallelism, synchronization, streaming, intermediate representation
1Francisco Bavera, Eduardo Bonelli Type-based information flow analysis for bytecode languages with variable object field policies. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Florian Kammüller Formalizing non-interference for a simple bytecode language in Coq. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Formal methods for security, Programming language analysis, Interactive theorem proving, Modular specification
1Stephen N. Freund, John C. Mitchell The type system for object initializatiion in the Jave bytecode language. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF bytecode languages, object initialization, Java, type checking
Displaying result #1 - #5 of 5 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.