T. Lindholm and F. Yellin. The Java Virtual Machine Specification Second Editon. Addison Wesley, California, USA, 2 edition, 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Design, Implementation and Evaluation of Adaptive Recompilation .. - Fink, Qian (2003) (1 citation) (Correct)
....a compile only approach; the system compiles all bytecode to native code before execution. The system has two compilers, the baseline compiler and the optimizing compiler. The baseline compiler generates code quickly, implementing a straightforward interpretation of the JVM stack architecture [11]. The resultant code quality, naturally, is relatively poor. The implementation of the baseline compiler is mostly architecture dependent, and the system currently supports two architectures (IA32 and PowerPC) The optimizing compiler provides a full suite of optimizations. The implementation is ....
....in the suspended thread to new compiled code. This section presents mechanisms to accomplish these steps. 3. 1 JVM scope descriptor For Java, we define the compiler independent state of a running activation to be a scope descriptor [9] based on the stack based Java Virtual Machine architecture [11]: Definition 1 The JVM scope descriptor of a method activation consists of the thread running the activation, the program counter as a bytecode index, values of each local variable and stack location, and a reference to the activation s stack frame. Figure 1(a) and (b) show a simple example in ....
T. Lindholm and F. Yellin. The Java Virtual Machine Specification Second Edition. The Java Series. Addison-Wesley, 1999.
Security in Dynamic Execution Environments - Inoue (2001) (Correct)
....through wrong typing or incorrect manipulation of the operand stack. Some checks, such as dereferencing null pointers, array bounds checking, and type casting must be performed at runtime. The complete verification mechanism is somewhat more complex. Details of the process can be found in [40, 54]. With verification and runtime checks, however, the VM guarantees the following properties: Permissions on methods and variables are respected. Typing is satisfied. Programs cannot access arbitrary memory locations. There is no undefined behavior. If the VM and verifier are ....
Tim Linholm and Frank Yellin. The Java Virtual Machine Specification Second Edition. Addison-Wesley, 1999.
Portable Implementation of Continuation Operators in.. - Sekiguchi, Sakamoto.. (2001) (1 citation) (Correct)
....a transformed code must pass a Java bytecode verifier if the original code passes it. To obtain such necessary information on bytecode, bytecode analysis must be performed before transformation. Our bytecode transformer requires exactly the same information as that for bytecode verification [15]. We had adopted type systems for Java bytecode verification to keep information on bytecode. Our transformer transforms bytecode programs based on this information. We use the type system of Stata and Abadi [22, 23] and that of Freund and Mitchell [11] Stata s type system provides information ....
Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification Second Edition. Addison-Wesley, 1999.
Bytecode Transformation for Portable Thread Migration in.. - Sakamoto, Sekiguchi.. (2000) (19 citations) (Correct)
....code must pass a Java bytecode verifier if the original code passes it. To obtain such necessary information on bytecode, we adopt a type system for Java bytecode. 4. 1 A Type System for Java Bytecode Our bytecode transformer exploits exactly the same information for bytecode verification [10]. We adopt the formulation of bytecode verifier by Stata and Abadi [15] It is a type system for a small subset of Java bytecode called JVML0. If a bytecode is well typed, it tells that the bytecode is verifiable. A type judgment is written in their type system as follows: F; S; i P: where P ....
Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification Second Edition. Addison-Wesley, 1999.
An Evaluation of cJava System Architecture - Anderson Faustino Da (2003) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification Second Editon. Addison Wesley, California, USA, 2 edition, 1999.
Language Symbiosis through a Joint Abstract Grammar - Peeters (2003) (Correct)
No context found.
Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification Second Edition. Addison Wesley, 1999.
Field Level Analysis for Heap Space Optimization.. - Chen, Kandemir.. (2004) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification Second Edition. Addison-Wesley Pub Co, 1999.
Heap Compression for Memory-Constrained Java Environments - Chen, Kandemir.. (2003) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Specification Second Edition. Addison-Wesley Pub Co, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC