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 Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
On the Implementation of an Inference Algorithm in Java - Rus (1999) (Correct)
A Linear Approach to Enforce the Minimal Characterization of.. - Garcia, al. (2001) (Correct)
Dynamic Optimistic Interprocedural Analysis: a Framework.. - Pechtchanski, Sarkar (2001) (3 citations) (Correct)
A Case Study in Class Library Verification: Java's Vector .. - Huisman, Jacobs, van den .. (1999) (11 citations) (Correct)
Safe Runtime Downcasts With Ownership Types - Boyapati, Lee, Rinard (2003) (2 citations) (Correct)
Tamper-Proof Annotations, by Construction - Franz, Haldar, Krintz, Stork (2002) (Correct)
Specification Languages in Algebraic Compilers - Van Wyk (2000) (Correct)
Static Confidentiality Enforcement for Distributed Programs - Sabelfeld, Mantel (2002) (7 citations) (Correct)
Using Kinds to Type Partially-Polymorphic Methods - Bonniot (2002) (Correct)
Integer Arithmetic in the Specification and Verification of.. - Beckert, Schlager (2002) (3 citations) (Correct)
Safe Runtime Downcasts With Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
Directly-Executable Earley Parsing - Aycock, Horspool (2001) (2 citations) (Correct)
A New Protection Model for Component-Based Operating Systems - Law, McCann (2000) (4 citations) (Correct)
Towards An Extensible Virtual Machine - Boyapati (2002) (1 citation) (Correct)
A Type System for Preventing Data Races and Deadlocks in.. - Boyapati, Lee, Rinard (2002) (2 citations) (Correct)
Compositional Operational Semantics of JavaMT - Abraham-Mumm, de Boer, de.. (2002) (Correct)
Towards Active Applications: the Virtual Virtual.. - Ogel, Thomas.. (2003) (Correct)
Full Integration of Subtyping and If-Expression - Gang Chen Computer (2002) (Correct)
Static Reduction Analysis for Imperative Object Oriented.. - Barthe, Serpette (Correct)
Adaptive Code Unloading for Efficient Dynamic Compilation in.. - Zhang, Krintz (2003) (Correct)
Software Verification Research Centre - The University Of (2001) (4 citations) (Correct)
A Performance Comparison of Java Cards for.. - Castella.. (2000) (1 citation) (Correct)
High-Level Real-Time Concurrency - Harji (2000) (Correct)
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) (Correct)
A programming and a Modelling Perspective on the Evaluation.. - Hartel, de Jong (2000) (2 citations) (Correct)
A Performance Comparison of Java Cards for.. - Castella.. (2000) (1 citation) (Correct)
A High Performance Decomposition Solver for Portfolio.. - Laure, Moritsch (2001) (Correct)
Pipa: A Behavioral Interface Specification Language for AspectJ - Zhao, Rinard (Correct)
Interprocedural Analysis of Modular Arithmetic - Müller-Olm, Seidl (Correct)
Unknown - Cation For Java's (Correct)
Compiler-Based Object Consistency - von Praun, Gross (2001) (Correct)
Java Bytecode as a Typed Term Calculus - Higuchi, Ohori (2002) (Correct)
Towards Active Applications: the Virtual Virtual.. - Ogel, Thomas.. (2003) (Correct)
A Unified Formal Specification and Analysis of the New Java.. - Awhad, Wallace (2003) (2 citations) (Correct)
First steps in formalising JML: Exceptions in Predicates - van den Berg, Poll, Jacobs (2000) (Correct)
New Covert Channels in HTTP: Adding Unwitting Web Browsers to.. - Bauer (2003) (1 citation) (Correct)
A Monad for Basic Java Semantics - Jacobs, Poll (2000) (3 citations) (Correct)
Type-Safe Cast: Functional Pearl - Weirich (2000) (13 citations) (Correct)
A Nominal Theory of Objects with Dependent Types - Odersky, Cremet, Röckl, Zenger (2002) (5 citations) (Correct)
Memory Safety Without Runtime Checks or Garbage Collection - Dhurjati, Kowshik, Adve.. (2003) (7 citations) (Correct)
Safe Runtime Downcasts With Ownership Types Chandrasekhar .. - Laboratory For Computer (Correct)
RacerX: Effective, Static Detection of Race Conditions and.. - Engler, Ashcraft (Correct)
A Unified Formal Specification and Analysis of the New Java Memory .. - Awhad (2002) (2 citations) (Correct)
Using Common Knowledge to Improve Fixed-Dependency-After-Send - Garcia, Buzato (Correct)
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
A Formalisation of Java's Exception Mechanism - Jacobs (2000) (2 citations) (Correct)
Real-time Event-handling and Scheduling on a.. - Kreuzinger.. (2003) (1 citation) (Correct)
Diagnostic Parsing in a Software Development Environment - Williams (2002) (Correct)
Ownership Types and Safe Lazy Upgrades in Object-Oriented.. - Boyapati, Liskov, Shrira (2002) (1 citation) (Correct)
Concurrent Exception Handling - Issarny (2001) (3 citations) (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