65 citations found. Retrieving documents...
Tim Lindholm, and Frank Yellin, "The Java Virtual Machine Specification", Addison-Wesley, 1996.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

A Retargetable Optimizing Java-to-C Compiler for.. - Retargetable..   (Correct)

No context found.

Tim Lindholm, and Frank Yellin, "The Java Virtual Machine Specification", Addison-Wesley, 1996.


Link-Time Enforcement of Confined Types for JVM Bytecode - Philip Fong Department (2005)   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification (2nd Ed.). Addison Wesley, 1999.


Optimising AspectJ - Pavel Avgustinov Aske   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, second edition, 1999.


Java Bytecode Verification With Dynamic Structures - Cinzia Bernardeschi Luca (2004)   (Correct)

No context found.

Tim Lindholm and Frank Yellin. Java Virtual Machine Specification, 2nd edition. Addison-Wesley Longman Publishing Co., Inc., 1999.


Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004)   (2 citations)  (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison Wesley, 2nd edition, 1999.


Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004)   (2 citations)  (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison Wesley, 1st edition, 1997.


Manifestations of Java Dynamic Linking - an approximate.. - Drossopoulou, Eisenbach (2002)   (1 citation)  (Correct)

No context found.

Tim Lindholm, Frank Yellin, The Java Virtual Machine Specification, Addison Wesley Longman Publishing Co, 2nd Ed (1 July, 1999).


Making the Future Safe for the Past: - Adding Genericity To   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine specification. Java Series, Sun Microsystems, ISBN 0-201-63452-X, 1996.


Runtime Data Analysis for Java Programs - Cain, Schneider, Grant, Chen (2003)   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, second edition, 1999.


Contaminated Garbage Collection - Dante Cannarozzi Michael (2000)   (6 citations)  (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1997.


Optimising AspectJ - Avgustinov, Christensen, Hendren.. (2004)   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, second edition, 1999.


Jimple: Simplifying Java Bytecode for Analyses and.. - Vallee-Rai, Hendren (1998)   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.


Compiling Standard ML to Java - An   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. AddisonWesley, 1997.


Efficient Implementation of Concurrent Programming Languages - Stenman (2002)   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, 1996. {18}


A Portable Virtual Machine Target for Proof-Carrying Code - Franz, Chandra, Gal.. (2003)   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. The Java Series. Addison Wesley Longman, Inc., second edition, 1999.


Typed Memory Management in a Calculus of Capabilities - Walker, Crary, Morrisett (2000)   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.


Alias Types - Smith, Walker, Morrisett (1999)   (26 citations)  (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1996.


The Entropia Virtual Machine for Desktop Grids - Brad Calder Andrew (2004)   (1 citation)  (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, 1999.


A Portable Virtual Machine Target for Proof-Carrying Code - Franz, Chandra, Gal.. (2003)   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. The Java Series. Addison Wesley Longman, Inc., second edition, 1999.


A Low-Footprint Class Loading Mechanism for Embedded.. - Rippert, Courbot..   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification, Second Edition. Addison Wesley, 1999.


Capabilities as Alias Control: Secure Cooperation in.. - Fong, Zhang (2004)   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison Wesley, 2nd edition, 1999.


Connectivity-Based Garbage Collection - Hirzel (2004)   (2 citations)  (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, second edition, 1999.


A New Approach to Mobile Code Security - Wallach (1999)   (21 citations)  (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, Reading, Massachusetts, 1996.


Safe Code - It's Not Just For Applets Anymore - Franz   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. The Java Series. Addison Wesley Longman, Inc., second edition, 1999.


Design Languages for Embedded Systems - Stephen Edwards Columbia (2003)   (Correct)

No context found.

Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison-Wesley, Reading, Massachusetts, 1999.

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