Skip to search formSkip to main contentSkip to account menu

Java bytecode

Known as: JVM bytecode, Java byte code, Java byte-code 
Java bytecode is the instruction set of the Java virtual machine. Each bytecode is composed of one, or in some cases two bytes that represent the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
ARM architectureAdaptive optimizationAndroidClojure

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Termination Graphs for Java Bytecode
To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all… 
2009
2009
Termination and Cost Analysis with COSTA and its User Interfaces
2004
2004
A symbolic Java virtual machine for test case generation
Quality management is becoming a more and more important part of the software development process. As software testing is… 
2002
2002
Bigram analysis of Java bytecode sequences
We report on a project that performed a bigram analysis of dynamic bytecode sequences. The objective was to identify the most… 
2000
2000
Dependence analysis of Java bytecode
  • Jianjun Zhao
  • Proceedings 24th Annual International Computer…
  • 2000
  • Corpus ID: 17545326
Understanding program dependencies in a computer program is essential for many software engineering tasks such as program… 
1999
1999
Java Bytecode Verification by Model Checking
Verification plays a central role in the security of Java bytecode: the Java bytecode verifier performs a static analysis to… 
1999
1999
Characterization of Java applications at bytecode and ultra-SPARC machine code levels
The paper identifies some of the most important execution characteristics of a recent suite of Java benchmarks (SPEC JVM98) from… 
1998
1998
Intra-procedural inference of static types for java bytecode
In this paper, we present practical algorithms for inferring static types for local variables and stack locations of Java… 
Highly Cited
1997
Highly Cited
1997
Automatically exploiting implicit parallelism in Java
In this paper we show how implicit parallelism in Java programs can be made explicit by a restructuring compiler using the multi… 
1997
1997
A Java bytecode optimizer using side‐effect analysis
This paper describes Cream, an optimizer for Java bytecode using side-effect analysis to improve the optimizations. Dead-code… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)