Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
59
JMangler - A Framework for Load-Time Transformation of Java Class Files
, 2001
"... Introduction Tight development schedules and high quality expectations of customers create an ever increasing pressure for (re)use of readily available third-party components. At the same time, rapid changes in markets, legislation and enterprise strategies result in unforeseen changes of requireme ..."
Abstract
-
Cited by 39 (5 self)
- Add to MetaCart
-used binary format that contains enough symbolic information to enable automated analysis and transformation. However, transformation of Java Class Files, is complicated by the fact that Java allows the name and contents of dynamically loaded classes to be determined at run-time, via reflection. Code that has
JMangler - a powerful back-end for aspect-oriented programming
- In Ak¸sit et
, 2004
"... AOSD improves separation of concerns in software development by enabling the modular expression of crosscutting aspects. However, modular implementation of an aspect requires techniques for “weaving ” the aspect into the code of all classes that require it. Often, weaving is complicated by the unava ..."
Abstract
-
Cited by 10 (1 self)
- Add to MetaCart
by the unavailability or dynamic creation of source code. We present JMangler, a freely available framework for load-time transformation of compiled Java programs. We introduce the notions of generic class file interception and order-independent composition and explain JMangler’s contribution in these areas. Then we
Byte Code Engineering with the JavaClass API
, 1999
"... 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-Oriente ..."
Abstract
-
Cited by 36 (2 self)
- Add to MetaCart
;Aspect-Oriented Programming", 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
Programmer-Friendly decompiled java
- In ICPC ’06: Proceedings of the 14th IEEE International Conference onProgram Comprehension (ICPC’06) (2006), IEEE Computer Society
"... Java decompilers convert Java class files to Java source. Java class files may be created by a number of different tools including standard Java compilers, compilers for other languages such as AspectJ, or other tools such as optimizers or obfuscators. There are two kinds of Java decompilers, javac- ..."
Abstract
-
Cited by 13 (4 self)
- Add to MetaCart
Java decompilers convert Java class files to Java source. Java class files may be created by a number of different tools including standard Java compilers, compilers for other languages such as AspectJ, or other tools such as optimizers or obfuscators. There are two kinds of Java decompilers, javac
String Concatenation Optimization on Java
, 2006
"... String concatenation via the “+” operator is one of the most convenient things to do in Java, and also one of the most expensive, in terms of memory and performance. In this paper, we present a comprehensive approach to reduce the overhead of consuming string concatenation operations by implicitly t ..."
Abstract
- Add to MetaCart
tested our optimizing program on a small “String torture test” suite as well as a real application program, and we demonstrate significant speedups of executing the transformed Java class files as well as valuable reduction of the class file size.
A proof carrying code framework for inlined reference monitors in Java bytecode
"... Abstract We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use of monitoring for quality assurance, while minimizing the runtime overhead of monitoring, minimizing the need f ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
are represented as Java class files augmented with logical assertion in Floyd/Hoare logic style: Assertions are associated to each program point as well as to method entry and (exceptional and normal) exit points using standard, JML-style pre-and post-conditions. Such a proof representation is adequate in our
Lightweight Bytecode Verification
- In OOPSALA Workshop on Formal Underpinnings of Java
, 1998
"... Abstract. In this paper, we provide a theoretical foundation and improvements to the existing bytecode verification technology, a critical component of the Java security model, for mobile code used with the Java “micro edition ” (J2ME) which is intended for embedded computing devices. In Java, remot ..."
Abstract
-
Cited by 83 (0 self)
- Add to MetaCart
, remotely loaded “bytecode ” class files are required to be bytecode verified before execution, i.e., to undergo a static type analysis that protects the platform’s Java run-time system from so-called “type confusion ” attacks such as pointer manipulation. The data flow analysis which performs
Byte Code Engineering with the
, 1999
"... 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 Pro ..."
Abstract
- Add to MetaCart
-Oriented Programming”, 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
Independent Extensibility for Aspect-Oriented Systems
"... So far, there is no satisfactory means to safely combine aspects that have been developed independently. In the general case, the process of jointly applying different aspects is not guaranteed to produce complete and unambiguous results. This paper shows that in the relevant case of pure interface ..."
Abstract
-
Cited by 8 (2 self)
- Add to MetaCart
modifications, completeness, uniqueness and independent extensibility can be ensured. This results in a strong reduction of the conceptual complexity of aspect combination. This idea has been incorporated into JMangler, a framework for loadtime transformation of Java classes that can be used as a "back end
Results 1 - 10
of
59
