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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1982-2018
0204019822018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
The Android OS has emerged as the leading platform for SmartPhone applications. However, because Android applications are… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Symbolic Pathfinder (SPF) combines symbolic execution with model checking and constraint solving for automated test case… (More)
  • figure 1
  • table 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Cost analysis of Java bytecode is complicated by its unstructured control flow, the use of an operand stack and its object… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Bytecode instrumentation is a valuable technique for transparently enhancing virtual execution environments for purposes such as… (More)
  • figure 3
  • figure 2
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea… (More)
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
This paper presents our toolkit for developing a Java-bytecode translator. Bytecode translation is getting important in various… (More)
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
  • Eva Rose
  • Journal of Automated Reasoning
  • 2003
In this paper, we provide a theoretical foundation for and improvements to the existing bytecode verification technology, a… (More)
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper presents Soot, a framework for optimizing Java bytecode. The framework is implemented in Java and supports three… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1999
Highly Cited
1999
This paper presents Soot, a framework for optimizing Java* bytecode. The framework is implemented in Java and supports three… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile… (More)
  • figure 3
  • figure 5
  • figure 9
  • figure 11
  • figure 13
Is this relevant?