Gosling, J., Joy, B., Steele, G. L., and Bracha, G. The Java Language Speci cation, 2ed. The Java Series. 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
Towards Active Applications: the Virtual Virtual.. - Ogel, Thomas.. (2003) (Correct)
No context found.
Gosling, J., Joy, B., Steele, G. L., and Bracha, G. The Java Language Speci cation, 2ed. The Java Series. Addison-Wesley, 1996.
Full Integration of Subtyping and If-Expression - Gang Chen Computer (2002) (Correct)
No context found.
J. Gosling, B. Joy, and G. Steele. The Java Language Speci cation. Addison Wesley, 1996.
Static Reduction Analysis for Imperative Object Oriented.. - Barthe, Serpette (Correct)
No context found.
J. Gosling, B. Joy, and G. Steele. Java Language Specication. The Java Series. Addison-Wesley, 1996.
Adaptive Code Unloading for Efficient Dynamic Compilation in.. - Zhang, Krintz (2003) (Correct)
No context found.
G. Bracha, J. Gosling, B. Joy, and G. Steel. The Java Language Speci cation. Addison Wesley, second edition, June 2000.
Software Verification Research Centre - The University Of (2001) (4 citations) (Correct)
No context found.
Gosling, J., B. Joy, and G. Steele (1996). The Java Language Speci cation. AddisonWesley. Hall, J. (1990). Seven myths of formal methods. IEEE Software 7 (9), 11-19.
A Performance Comparison of Java Cards for.. - Castella.. (2000) (1 citation) (Correct)
No context found.
J. Gosling, B. Joy, G. Steele. The Java Language Speci cation. Mc Graw-Hill, 1997. 19 20
High-Level Real-Time Concurrency - Harji (2000) (Correct)
No context found.
Gosling, J., Joy, B., and Steele, G. The Java Language Speci cation. Addison-Wesley, Reading, Massachusetts, 1996.
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) (Correct)
No context found.
J. Gosling, B. Joy, and G. Steele. The Java Language Speci cation. Addison-Wesley, 1996.
A programming and a Modelling Perspective on the Evaluation.. - Hartel, de Jong (2000) (2 citations) (Correct)
No context found.
J. Gosling, B. Joy, and G. Steele. The Java Language Speci cation. Addison Wesley, Reading, Massachusetts, 1996.
A Performance Comparison of Java Cards for.. - Castella.. (2000) (1 citation) (Correct)
No context found.
J. Gosling, B. Joy, G. Steele. The Java Language Speci cation. Mc Graw-Hill, 1997. 19 20
A High Performance Decomposition Solver for Portfolio.. - Laure, Moritsch (2001) (Correct)
No context found.
J. Gosling, B. Joy, and G. Steele. The Java Language Speci cation. Addison-Wesely, 1996.
Pipa: A Behavioral Interface Specification Language for AspectJ - Zhao, Rinard (Correct)
No context found.
J. Gosling, B. Joy, and G. Steele. The Java Language Speci cation. The Java Series, Addison-Wesley, Reading, MA, 1996.
Interprocedural Analysis of Modular Arithmetic - Müller-Olm, Seidl (Correct)
No context found.
J. Gosling, B. Joy, and G. Steele. The Java Language Speci cation. Addison-Wesley, 1996.
Unknown - Cation For Java's (Correct)
No context found.
J. Gosling, B. Joy, and G. Steele. The Java Language Speci cation. AddisonWesley, 1996.
Compiler-Based Object Consistency - von Praun, Gross (2001) (Correct)
No context found.
J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Speci cation, 2nd Edition. Addison-Wesley, 2000.
Java Bytecode as a Typed Term Calculus - Higuchi, Ohori (2002) (Correct)
No context found.
J. Gosling, B. Joy, and G. Steele. The Java Language Speci cation. Addison-Wesley, 1996.
Towards Active Applications: the Virtual Virtual.. - Ogel, Thomas.. (2003) (Correct)
No context found.
Gosling, J., Joy, B., Steele, G. L., and Bracha, G. The Java Language Speci cation, 2 ed. The Java Series. Addison-Wesley, 1996.
A Unified Formal Specification and Analysis of the New Java.. - Awhad, Wallace (2003) (2 citations) (Correct)
No context found.
Gosling, J., Joy, B., Steele, G.: The Java Language Speci cation. Addison-Wesley (1996)
First steps in formalising JML: Exceptions in Predicates - van den Berg, Poll, Jacobs (2000) (Correct)
No context found.
J. Gosling, B. Joy, and G. Steele. The Java Language Speci cation. AddisonWesley, 1996.
New Covert Channels in HTTP: Adding Unwitting Web Browsers to.. - Bauer (2003) (1 citation) (Correct)
No context found.
Gosling, J., Joy, B., Steele, G., and Bracha, G. The Java Language Speci cation. java.sun.com/docs/books/jls/.
A Monad for Basic Java Semantics - Jacobs, Poll (2000) (3 citations) (Correct)
No context found.
J. Gosling, B. Joy, and G. Steele. The Java Language Speci cation. AddisonWesley, 1996.
Type-Safe Cast: Functional Pearl - Weirich (2000) (13 citations) (Correct)
No context found.
J. Gosling, B. Joy, and G. Steele. The Java Language Speci cation. Addison-Wesley, 1996.
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) (Correct)
No context found.
J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Speci cation. Java Series, Sun Microsystems, second edition, 2000. ISBN 0-201-31008-2.
Memory Safety Without Runtime Checks or Garbage Collection - Dhurjati, Kowshik, Adve.. (2003) (7 citations) (Correct)
No context found.
J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Speci cation. Sun Microsystems, 2000.
Safe Runtime Downcasts With Ownership Types Chandrasekhar .. - Laboratory For Computer (Correct)
No context found.
J. Gosling, B. Joy, and G. Steele. The Java Language Speci cation. AddisonWesley, 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