T. Lindholm and F. Yellin. The Java Virtual Machine Speci cation. Addison-Wesley, 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Types for the Ambient Calculus - Luca Cardelli And (2002) (13 citations) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Speci cation. Addison-Wesley, 1997.
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (24 citations) (Correct)
No context found.
Lindholm, T. and Yellin, F. 1996. The Java Virtual Machine Speci cation. Addison-Wesley, Menlo Park, California.
Towards Active Applications: the Virtual Virtual.. - Ogel, Thomas.. (2003) (Correct)
No context found.
Lindholm, T., and Yellin, F. The Java Virtual Machine Speci cation, ed. The Java Series. Addison-Wesley, September 1996.
Partial Method Compilation using Dynamic Profile Information - Whaley (2001) (11 citations) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Speci cation. Addison-Wesley, Reading, MA, USA, second edition, 1999.
Applet Verification Strategies for RAM-Constrained Devices - Maltesson, al. (2003) (Correct)
No context found.
T. Lindholm, F. Yellin, The Java Virtual Machine Speci cation, The Java Series, Addison-Wesley, 1999.
Romization: Early Deployment and Customization of Java .. - Courbot, Grimaud.. (2005) (Correct)
No context found.
T. Lindholm and F. Yellin, Java Virtual Machine Speci cation. Addison-Wesley Longman Publishing Co., Inc., 1999.
Checking Secure Interactions of Smart Card - Applets Extended Version (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Speci cation. Addison Wesley, 1997.
Reducing the Memory Complexity of Type-Inference Algorithms - Naccache, al. (2002) (Correct)
No context found.
T. Lindholm, F. Yellin, The Java Virtual Machine Speci cation, The Java Series, Addison-Wesley, 1999.
FACADE: a Typed Intermediate Language - Dedicated To Smart (Correct)
No context found.
Lindhom, T., and Yellin, F. The Java Virtual Machine Speci#cation. The Java Series. Addison-Wesley, Sept. 1996.
Proof Optimization Using Lemma Extraction - Rahul George Necula (Correct)
No context found.
Lindholm, T., and Yellin, F. The Java Virtual Machine Speci cation. The Java Series. Addison-Wesley, Reading, MA, USA, Jan. 1997.
Adaptive Code Unloading for Efficient Dynamic Compilation in.. - Zhang, Krintz (2003) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Speci cation. Addison Wesley, second edition, Apr. 1999.
Reducing the Memory Complexity of Type-Inference Algorithms - Naccache, al. (2002) (Correct)
No context found.
T. Lindholm, F. Yellin, The Java Virtual Machine Speci cation, The Java Series, Addison-Wesley, 1999.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Tim Lindholm and Frank Yellin. The Java Virtual Machine Speci cation. AddisonWesley, 1997.
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
No context found.
Tim Lindholm and Frank Yellin. The Java Virtual Machine Speci cation. AddisonWesley, Reading, MA, USA, 2nd edition, 1999.
Applet Verification Strategies for RAM-Constrained Devices - Maltesson, al. (2003) (Correct)
No context found.
T. Lindholm, F. Yellin, The Java Virtual Machine Speci cation, The Java Series, Addison-Wesley, 1999.
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Speci cation. Addison-Wesley, 1997.
Object Race Detection - von Praun, Gross (2001) (25 citations) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Speci cation, Second Edition. Addison-Wesley Publishing Company, Inc., Reading, Massachusetts, 1999.
Java Bytecode as a Typed Term Calculus - Higuchi, Ohori (2002) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java virtual machine speci cation. Addison Wesley, second edition edition, 1999.
Hyper-threaded JVM on a FPGA - Parnis (Correct)
No context found.
Tim Lindholm and Frank Yellin. The Java Virtual Machine Speci cation. AddisonWesley, April 1999.
Towards Active Applications: the Virtual Virtual.. - Ogel, Thomas.. (2003) (Correct)
No context found.
Lindholm, T., and Yellin, F. The Java Virtual Machine Speci cation, ed. The Java Series. Addison-Wesley, September 1996.
FACADE: a Typed Intermediate Language Dedicated to Smart.. - Grimaud, Lanet, Vandewalle (1999) (2 citations) (Correct)
No context found.
Lindhom, T., and Yellin, F. The Java Virtual Machine Speci#cation. The Java Series. Addison-Wesley, Sept. 1996.
Foundational Certified Code in a Metalogical Framework - Crary, Sarkar (2003) (2 citations) (Correct)
No context found.
Tim Lindholm and Frank Yellin. The Java Virtual Machine Speci cation. Addison-Wesley, 1996.
Reducing the Memory Complexity of Type-Inference.. - Naccache, Tchoulkine.. (2002) (Correct)
No context found.
T. Lindholm, F. Yellin, The Java Virtual Machine Speci cation, The Java Series, Addison-Wesley, 1999.
Inductive Assertions and Operational Semantics - Long Version Strother (2003) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Speci cation (Second Edition) . Addison-Wesley, Boston, MA., 1999.
Ajents: Towards an Environment for Parallel, Distributed.. - Izatt, Chan, Brecht (2000) (Correct)
No context found.
T. Lindholm and F. Yellin. The Java Virtual Machine Speci cation. Addison Wesley Developers Press, Sunsoft Java Series, 1996.
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