Tim Lindholm, and Frank Yellin, "The Java Virtual Machine Specification", Addison-Wesley, 1996. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A Retargetable Optimizing Java-to-C Compiler for.. - Retargetable.. (Correct)
Link-Time Enforcement of Confined Types for JVM Bytecode - Philip Fong Department (2005) (Correct)
Optimising AspectJ - Pavel Avgustinov Aske (Correct)
Java Bytecode Verification With Dynamic Structures - Cinzia Bernardeschi Luca (2004) (Correct)
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
Manifestations of Java Dynamic Linking - an approximate.. - Drossopoulou, Eisenbach (2002) (1 citation) (Correct)
Making the Future Safe for the Past: - Adding Genericity To (Correct)
Runtime Data Analysis for Java Programs - Cain, Schneider, Grant, Chen (2003) (Correct)
Contaminated Garbage Collection - Dante Cannarozzi Michael (2000) (6 citations) (Correct)
Optimising AspectJ - Avgustinov, Christensen, Hendren.. (2004) (Correct)
Jimple: Simplifying Java Bytecode for Analyses and.. - Vallee-Rai, Hendren (1998) (Correct)
Compiling Standard ML to Java - An (Correct)
Efficient Implementation of Concurrent Programming Languages - Stenman (2002) (Correct)
A Portable Virtual Machine Target for Proof-Carrying Code - Franz, Chandra, Gal.. (2003) (Correct)
Typed Memory Management in a Calculus of Capabilities - Walker, Crary, Morrisett (2000) (Correct)
Alias Types - Smith, Walker, Morrisett (1999) (26 citations) (Correct)
The Entropia Virtual Machine for Desktop Grids - Brad Calder Andrew (2004) (1 citation) (Correct)
A Portable Virtual Machine Target for Proof-Carrying Code - Franz, Chandra, Gal.. (2003) (Correct)
A Low-Footprint Class Loading Mechanism for Embedded.. - Rippert, Courbot.. (Correct)
Capabilities as Alias Control: Secure Cooperation in.. - Fong, Zhang (2004) (Correct)
Connectivity-Based Garbage Collection - Hirzel (2004) (2 citations) (Correct)
A New Approach to Mobile Code Security - Wallach (1999) (21 citations) (Correct)
Safe Code - It's Not Just For Applets Anymore - Franz (Correct)
Design Languages for Embedded Systems - Stephen Edwards Columbia (2003) (Correct)
First 50 documents Next 50
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