Extensions and improvements of the programming language Java and its related execution environment (Java Virtual Machine, JVM) are the subject of a large number of research projects and proposals. There are projects, for instance, to add parameterized types to Java, to implement “Aspect-Oriented Programming”, to perform sophisticated static analysis, and to improve the run-time performance. Since Java classes are compiled into portable binary class files (called byte code), it is the most convenient and platform-independent way to implement these improvements not by writing a new compiler or changing the JVM, but by transforming the byte code. These transformations can either be performed after compile-time, or at load-time. Many programmer...
Abstract. Altering the semantics of programs has become of major interest. This is due to the necess...
In the standard Java implementation, a Java language program is compiled to Java bytecode and this b...
BCEL (formerly JavaClass) allows you to load a class, iterate through the methods and fields, change...
Extensions and improvements of the programming language Java and its related execution environment (...
. The term "Java" is used to denote two different concepts: the language itself and the re...
The term “Java” is used to denote two different concepts: the language itself and the related execut...
New toolkits that parse, analyze, and transform Java Bytecode are frequently developed from scratch ...
Both J2BP and PANDA tools verify compiled Java programs. By now, these tools are not able to process...
Abstract. Bytecode rewriting is a portable way of altering Java’s behavior by changing Java classes ...
. In Java's first year it has become clear that many of the problems posed by executable conten...
Transforming programs to alter their semantics is of wide interest, for purposes as diverse as off-t...
Bytecode Modeling Language (BML) is a recent specification language designed to support specificatio...
Abstract. This paper proposes a run-time bytecode specialization (BCS) technique that analyzes progr...
Abstract. The proof-carrying code (PCC) techniques allow the exe-cutable code to be augmented with a...
The Java language provides a promising solution to the design of safe programs, with an application ...
Abstract. Altering the semantics of programs has become of major interest. This is due to the necess...
In the standard Java implementation, a Java language program is compiled to Java bytecode and this b...
BCEL (formerly JavaClass) allows you to load a class, iterate through the methods and fields, change...
Extensions and improvements of the programming language Java and its related execution environment (...
. The term "Java" is used to denote two different concepts: the language itself and the re...
The term “Java” is used to denote two different concepts: the language itself and the related execut...
New toolkits that parse, analyze, and transform Java Bytecode are frequently developed from scratch ...
Both J2BP and PANDA tools verify compiled Java programs. By now, these tools are not able to process...
Abstract. Bytecode rewriting is a portable way of altering Java’s behavior by changing Java classes ...
. In Java's first year it has become clear that many of the problems posed by executable conten...
Transforming programs to alter their semantics is of wide interest, for purposes as diverse as off-t...
Bytecode Modeling Language (BML) is a recent specification language designed to support specificatio...
Abstract. This paper proposes a run-time bytecode specialization (BCS) technique that analyzes progr...
Abstract. The proof-carrying code (PCC) techniques allow the exe-cutable code to be augmented with a...
The Java language provides a promising solution to the design of safe programs, with an application ...
Abstract. Altering the semantics of programs has become of major interest. This is due to the necess...
In the standard Java implementation, a Java language program is compiled to Java bytecode and this b...
BCEL (formerly JavaClass) allows you to load a class, iterate through the methods and fields, change...