|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 948 occurrences of 418 keywords
|
|
|
Results
Found 950 publication records. Showing 950 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
55 | Gilles Barthe, Guillaume Dufay |
A Tool-Assisted Framework for Certified Bytecode Verification. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
55 | Algis Rudys, Dan S. Wallach |
Enforcing Java Run-Time Properties Using Bytecode Rewriting. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
55 | Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco |
Fixing the Java bytecode verifier by a suitable type domain. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
|
55 | Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri |
Using Standard Verifier to Check Secure Information Flow in Java Bytecode. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
|
55 | Todd B. Knoblock, Jakob Rehof |
Type elaboration and subtype completion for Java bytecode. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
Java compiler, lattice completion, object-oriented type systems, type reconstruction, type-directed compilation, type inference, typed intermediate language |
55 | Todd B. Knoblock, Jakob Rehof |
Type Elaboration and Subtype Completion for Java Bytecode. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
55 | David A. Basin, Stefan Friedrich 0001, Joachim Posegga, Harald Vogt |
Java Bytecode Verification by Model Checking. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
55 | Stephen N. Freund, John C. Mitchell |
A Formal Framework for the Java Bytecode Language and Verifier. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
Java |
55 | Ian Welch, Robert J. Stroud |
Kava - A Reflective Java Based on Bytecode Rewriting. |
Reflection and Software Engineering |
1999 |
DBLP DOI BibTeX RDF |
|
54 | Myoungkyu Song, Eli Tilevich |
The anti-goldilocks debugger: helping the average bear debug transparently transformed programs. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
bytecode enhancement, debugging, program transformation |
54 | Scott Sirowy, Bailey Miller, Frank Vahid |
Portable SystemC-on-a-chip. |
CODES+ISSS |
2009 |
DBLP DOI BibTeX RDF |
simulation, virtual machines, emulation, SystemC, bytecode, spatial computing |
52 | Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci 0001 |
Decomposing bytecode verification by abstract interpretation. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Abstract interpretation, bytecode verification |
52 | Thuan Quang Huynh, Abhik Roychoudhury |
Memory model sensitive bytecode verification. |
Formal Methods Syst. Des. |
2007 |
DBLP DOI BibTeX RDF |
Programming language memory models, Software model checking, Bytecode verification |
52 | Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon |
Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
J2ME CDC, Java ahead-of-time compiler, bytecode-to-c, stack cutting, exception handling, Java virtual machine |
52 | Murat Karaorman, Parker Abercrombie |
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
jContractor, Java, Design by Contract, bytecode instrumentation |
52 | Walter Binder |
A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting. |
APLAS |
2005 |
DBLP DOI BibTeX RDF |
Java, program transformations, Profiling, JVM, bytecode instrumentation, dynamic metrics |
52 | M. Watheq El-Kharashi, Fayez El Guibaly, Kin F. Li |
Adapting Tomasulo's algorithm for bytecode folding based Java processors. |
SIGARCH Comput. Archit. News |
2001 |
DBLP DOI BibTeX RDF |
instruction shelving, java bytecode folding, java stack folding, reservation stations, stack processors, tomasulo's algorithm, java, Java, java virtual machine, dynamic scheduling, java processors, register renaming |
52 | John Waldron |
Dynamic Bytecode Usage by Object Oriented Java Programs. |
TOOLS (29) |
1999 |
DBLP DOI BibTeX RDF |
Object Oriented Platform Design, Java, Java Virtual Machine, bytecode |
48 | Tomoyuki Higuchi, Atsushi Ohori |
Java bytecode as a typed term calculus. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
bytecode verifier, type system, type inference, Java bytecode |
48 | Monirul Islam Sharif, Andrea Lanzi, Jonathon T. Giffin, Wenke Lee |
Automatic Reverse Engineering of Malware Emulators. |
SP |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin |
Computing Stack Maps with Interfaces. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
48 | Theo D'Hondt |
Are Bytecodes an Atavism? |
S3 |
2008 |
DBLP DOI BibTeX RDF |
Virtual machines, interpreters, bytecodes |
48 | Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert |
BML and Related Tools. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla |
PET: a partial evaluation-based test case generation tool for Java bytecode. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation |
45 | Johannes Rudolph, Peter Thiemann 0001 |
Mnemonics: type-safe bytecode generation at run time. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
embedded domain specific language, program generation, metaprogramming |
45 | Florian Kammüller |
Formalizing non-interference for a simple bytecode language in Coq. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Formal methods for security, Programming language analysis, Interactive theorem proving, Modular specification |
45 | Chenguang Luo, Guanhua He, Shengchao Qin |
A Heap Model for Java Bytecode to Support Separation Logic. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Francesco Logozzo, Manuel Fähndrich |
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Cost Analysis of Java Bytecode. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Antonio Castaldo D'Ursi, Luca Cavallaro, Mattia Monga |
On bytecode slicing and aspectJ interferences. |
FOAL |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, program analysis, slicing, AspectJ, interference analysis |
45 | Martin Wildmoser, Tobias Nipkow |
Asserting Bytecode Safety. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Ben Stephenson, Wade Holst |
A quantitative analysis of Java bytecode sequences. |
PPPJ |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Yangsun Lee 0002, Seungwon Na |
Java Bytecode-to-.NET MSIL Translator for Construction of Platform Independent Information Systems. |
KES |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Claire Louise Quigley |
A Programming Logic for Java Bytecode Programs. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Gerwin Klein, Martin Wildmoser |
Verified Bytecode Subroutines. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
45 | David A. Basin, Stefan Friedrich 0001, Marek Gawkowski, Joachim Posegga |
Bytecode Model Checking: An Experimental Analysis. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
45 | Éric Tanter, Marc Ségura-Devillechaise, Jacques Noyé, José M. Piquer |
Altering Java Semantics via Bytecode Manipulation. |
GPCE |
2002 |
DBLP DOI BibTeX RDF |
|
45 | Bernard P. Serpette, Manuel Serrano |
Compiling scheme to JVM bytecode: : a performance study. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
compilation, scheme, Java virtual machine, functional languages |
45 | Xavier Leroy |
Java Bytecode Verification: An Overview. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
45 | Jian-Zhi Wu, Jenq Kuen Lee |
A Bytecode Optimizer to Engineer Bytecodes for Performance. |
LCPC |
2000 |
DBLP DOI BibTeX RDF |
|
45 | Futoshi Iwama, Naoki Kobayashi 0001 |
A New Type System for JVM Lock Primitives. |
New Gener. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Java Bytecode Verifier, Type System, Lock |
45 | Alex Villazón, Walter Binder, Philippe Moret |
Aspect weaving in standard Java class libraries. |
PPPJ |
2008 |
DBLP DOI BibTeX RDF |
memory leak detection, aspect-oriented programming, profiling, bytecode instrumentation, aspect weaving |
45 | Iffat H. Kazi, Howard H. Chen, Berdenia Stanley, David J. Lilja |
Techniques for obtaining high performance in Java programs. |
ACM Comput. Surv. |
2000 |
DBLP DOI BibTeX RDF |
bytecode-to-source translators, direct compilers, Java, Java, interpreters, Java virtual machine, just-in-time compilers, dynamic compilation |
45 | Austin Kim, J. Morris Chang |
Advanced POC Model-Based Java Instruction Folding Mechanism. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
Instruction Folding, Java Virtual Machine (JVM), Stack, Java processor, Java bytecode, Java programming language |
42 | Martin Zabel, Rainer G. Spallek |
Application requirements and efficiency of embedded Java bytecode multi-cores. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
multi-core, multi-threaded, realtime, Java bytecode |
42 | Lennart C. L. Kats, Martin Bravenboer, Eelco Visser |
Mixing source and bytecode: a case for compilation by normalization. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
dryad compiler, source tracing, java, compilers, domain-specific languages, iterators, meta programming, language extensions, bytecode, traits, embedded languages, SDF, stratego |
42 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini |
Removing useless variables in cost analysis of Java bytecode. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
cost equations systems, complexity, information flow, program slicing, cost analysis, java bytecode |
42 | Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa |
Heap space analysis for java bytecode. |
ISMM |
2007 |
DBLP DOI BibTeX RDF |
heap consumption, heap space analysis, Java bytecode, low-level languages |
42 | Walter Binder, Jarle Hulaas |
Flexible and efficient measurement of dynamic bytecode metrics. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
Java, aspect-oriented programming, program transformations, resource management, profiling, JVM, partial evaluation, component-based software engineering, bytecode instrumentation, dynamic metrics |
42 | Wlodzimierz Funika, Pawel Swierszcz |
Dynamic Instrumentation of Distributed Java Applications Using Bytecode Modifications. |
International Conference on Computational Science (2) |
2006 |
DBLP DOI BibTeX RDF |
J-OMIS, J-OCM, Java, instrumentation, bytecode |
42 | Roberto Barbuti, Stefano Cataudella 0001 |
Java bytecode verification on Java cards. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
abstract interpretation, Java card, Java bytecode |
42 | Ben Stephenson, Wade Holst |
Multicodes: optimizing virtual machines using bytecode sequences. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
Java, optimization, virtual machine, interpreter, JVM, bytecode |
42 | Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco |
Checking security of Java bytecode by abstract interpretation. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
security, Java, abstract interpretation, information flow, Java bytecode |
42 | Lars Ræder Clausen, Ulrik Pagh Schultz, Charles Consel, Gilles Muller |
Java bytecode compression for low-end embedded systems. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
embedded systems, code compression, Java bytecode |
38 | Ben Bellamy, Pavel Avgustinov, Oege de Moor, Damien Sereni |
Efficient local type inference. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
program analysis, type inference |
38 | Peter Müller 0001, Martin Nordio |
Proof-transforming compilation of programs with abrupt termination. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
proof-transforming compiler, proof-carrying code, trusted components |
38 | Miljan Vuletic, Christophe Dubach, Laura Pozzi, Paolo Ienne |
Enabling unrestricted automated synthesis of portable hardware accelerators for virtual machines. |
CODES+ISSS |
2005 |
DBLP DOI BibTeX RDF |
virtual machine, synthesis, accelerator |
38 | Ana Azevedo, Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau |
High performance annotation-aware JVM for Java cards. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
superoperators, virtual machine, high performance, Java card |
38 | José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo |
Improved Compilation of Prolog to C Using Moded Types and Determinism Information. |
PADL |
2004 |
DBLP DOI BibTeX RDF |
Prolog, C, optimizing compilation, global analysis |
38 | J Strother Moore, George Porter |
The apprentice challenge. |
ACM Trans. Program. Lang. Syst. |
2002 |
DBLP DOI BibTeX RDF |
Java, theorem proving, Java Virtual Machine, mutual exclusion, operational semantics, parallel and distributed computation |
38 | Ramesh Radhakrishnan, Deependra Talla, Lizy Kurian John |
Allowing for ILP in an embedded Java processor. |
ISCA |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Masami Hagiya, Akihiko Tozawa |
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
|
36 | Philipp Adler, Wolfram Amme |
Type-Separated Bytecode - Its Construction and Evaluation. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Laurent Hubert |
A non-null annotation inferencer for Java bytecode. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
Java, static analysis, annotation, inference, NonNull |
36 | Chris Male, David J. Pearce 0001, Alex Potanin, Constantine Dymnikov |
Java Bytecode Verification for @NonNull Types. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Gang Zhao, Hua Chen, Dongxia Wang |
Data-Flow Based Analysis of Java Bytecode Vulnerability. |
WAIM |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla |
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. |
PADL |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Yu Chin Cheng, Chien-Tsun Chen, Chin-Yun Hsieh |
ezContract: Using Marker Library and Bytecode Instrumentation to Support Design by Contract in Java. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Michael J. Jipping, Cameron Calka, Brian O'Neill, Christopher R. Padilla |
Teaching students java bytecode using lego mindstorms robots. |
SIGCSE |
2007 |
DBLP DOI BibTeX RDF |
assbly langauge, robotics, lego mindstorms, computer organization |
36 | Étienne Payet, Fausto Spoto |
Magic-Sets Transformation for the Analysis of Java Bytecode. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Damiano Zanardini |
Abstract non-interference in a fragment of Java bytecode. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Giovanni Agosta, Stefano Crespi-Reghizzi, Pasquale Palumbo, Martino Sykora |
Selective compilation via fast code analysis and bytecode tracing. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Andrea Camesi, Jarle Hulaas, Walter Binder |
Continuous Bytecode Instruction Counting for CPU Consumption Estimation. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn |
Adaptiveness in well-typed Java bytecode verification. |
CASCON |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Attila Szegedi, Tibor Gyimóthy |
Dynamic Slicing of Java Bytecode Programs. |
SCAM |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Kwang-Man Ko, Soon-Gohn Kim |
Target Code Generation Using the Code Expansion Technique for Java Bytecode. |
PDCAT |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Shigeru Chiba, Muga Nishizawa |
An Easy-to-Use Toolkit for Efficient Java Bytecode Translators. |
GPCE |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Cinzia Bernardeschi, Nicoletta De Francesco |
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Tobias Nipkow |
Verified Bytecode Verifiers. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Michiaki Tatsubori, Toshiyuki Sasaki, Shigeru Chiba, Kozo Itano |
A Bytecode Translator for Distributed Execution of "Legacy" Java Software. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Jianjun Zhao 0001 |
Dependence Analysis of Java Bytecode. |
COMPSAC |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Cornelia Pusch |
Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Eli Tilevich, Yannis Smaragdakis |
J-Orchestra: Enhancing Java programs with distribution capabilities. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
Java, middleware, distributed computing, Separation of concerns, RMI, bytecode engineering |
35 | Kirak Hong, Jiin Park, Taekhoon Kim, Sungho Kim, Hwangho Kim, Yousun Ko 0001, Jongtae Park, Bernd Burgstaller, Bernhard Scholz |
TinyVM, an efficient virtual machine infrastructure for sensor networks. |
SenSys |
2009 |
DBLP DOI BibTeX RDF |
binary/bytecode partitioning, mixed-mode execution, virtual machines, code compression |
35 | Philippe Moret, Walter Binder, Alex Villazón |
CCCP: complete calling context profiling in virtual execution environments. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
calling context profiling, native code, java virtual machine, bytecode instrumentation |
35 | Alex Villazón, Walter Binder, Philippe Moret |
Flexible calling context reification for aspect-oriented programming. |
AOSD |
2009 |
DBLP DOI BibTeX RDF |
calling context reification, composition of program transformations, debugging, java virtual machine, bytecode instrumentation, aspect weaving |
35 | Hannu Mäyrä, Mauno Rönkkö |
Reverse Engineering Functional Classes: A Middleware Case Study. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
Functional Classes, Middleware, Reverse Engineering, Decompilation, Java Bytecode |
35 | Walter Binder, Alex Villazón, Martin Schoeberl, Philippe Moret |
Cache-aware cross-profiling for java processors. |
CASES |
2008 |
DBLP DOI BibTeX RDF |
cross-profiling, embedded java processors, platform-independent dynamic metrics, bytecode instrumentation |
35 | Christian Skalka |
Type safe dynamic linking for JVM access control. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
static type analysis, language-based security, bytecode verification, dynamic linking |
35 | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck |
Type-based verification of assembly language for compiler debugging. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code |
35 | Jarle Hulaas, Walter Binder |
Program transformations for portable CPU accounting and control in Java. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
Java, program transformations, resource management, bytecode engineering |
35 | Philip W. L. Fong |
Pluggable verification modules: an extensible protection mechanism for the JVM. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
Aegis VM, extensible protection mechanism, pluggable verification modules, proof linking, Java virtual machine, bytecode verification, extensible systems, mobile code security |
35 | Walter Binder, Jarle Hulaas |
Self-accounting as Principle for Portable CPU Control in Java. |
Net.ObjectDays |
2004 |
DBLP DOI BibTeX RDF |
Bytecode rewriting, CPU accounting and control, Java, program transformations |
35 | Erik Hilsdale, Jim Hugunin |
Advice weaving in AspectJ. |
AOSD |
2004 |
DBLP DOI BibTeX RDF |
compilers, AspectJ, aspect-orientation, bytecode, weaving |
35 | Ginger Myles, Christian S. Collberg |
Software Watermarking Through Register Allocation: Implementation, Analysis, and Attacks. |
ICISC |
2003 |
DBLP DOI BibTeX RDF |
Copyright protection, register allocation, Java bytecode, software piracy, software watermarking |
35 | Futoshi Iwama, Naoki Kobayashi 0001 |
A new type system for JVM lock primitives. |
ASIA-PEPM |
2002 |
DBLP DOI BibTeX RDF |
bytecode verifier, Java, type system, lock |
33 | Clément Béra, Eliot Miranda, Marcus Denker, Stéphane Ducasse |
Practical Validation of Bytecode to Bytecode JIT Compiler Dynamic Deoptimization. |
J. Object Technol. |
2016 |
DBLP DOI BibTeX RDF |
|
33 | Lubomír Bulej, Yudi Zheng, Walter Binder |
Beneath the bytecode: observing the JVM at work using bytecode instrumentation. |
ICOOOLPS@ECOOP |
2016 |
DBLP DOI BibTeX RDF |
|
33 | Hendra Gunadi |
Formal Certification of Non-interferent Android Bytecode (DEX Bytecode). |
ICECCS |
2015 |
DBLP DOI BibTeX RDF |
|
33 | Gerwin Klein |
Verified Java Bytecode Verification (Verified Java Bytecode Verification). |
it Inf. Technol. |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 950 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|