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
2006
2006
String Concatenation Optimization on Java Bytecode
String concatenation via the “+” operator is one of the most convenient things to do in Java, and also one of the most expensive… 
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… 
2002
2002
Verified Bytecode Model Checkers
We have used Isabelle/HOL to formalize and prove correct an approach to bytecode verification based on model checking that we… 
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… 
Review
1997
Review
1997
Java bytecode optimizations
  • Dan Lambright
  • Proceedings IEEE COMPCON 97. Digest of Papers
  • 1997
  • Corpus ID: 34087374
We present our results obtained from applying well known optimizations to Java bytecodes. We survey the optimizations implemented… 
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… 
1996
1996
Programming the Internet in Ada 95
A new paradigm for computing is emerging based on the Internet and the World Wide Web, accompanied by a new standard programming… 
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)