Chandrasekhar Boyapati, Robert Lee, and Martin Rinard. Safe runtime downcasts with ownership types. In ECOOP International Workshop on Aliasing, Con nement and Ownership in Object-Oriented Programming (ECOOP IWACO), July 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) Self-citation (Boyapati Rinard) (Correct)
No context found.
Chandrasekhar Boyapati, Robert Lee, and Martin Rinard. Safe runtime downcasts with ownership types. In ECOOP International Workshop on Aliasing, Con nement and Ownership in Object-Oriented Programming (ECOOP IWACO), July 2003.
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) Self-citation (Boyapati) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Safe runtime downcasts with ownership types. In ECOOP International Workshop on Aliasing, Con nement and Ownership in Object-Oriented Programming (IWACO), July 2003.
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) Self-citation (Boyapati Rinard) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Safe runtime downcasts with ownership types. Technical Report TR-853, MIT Laboratory for Computer Science, June 2002.
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) Self-citation (Boyapati) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Safe runtime downcasts with ownership types. In ECOOP International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (IWACO), July 2003.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) Self-citation (Boyapati Rinard) (Correct)
No context found.
Chandrasekhar Boyapati, Robert Lee, and Martin Rinard. Safe runtime downcasts with ownership types. In ECOOP International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (ECOOP IWACO), July 2003.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) Self-citation (Boyapati Rinard) (Correct)
No context found.
Chandrasekhar Boyapati, Robert Lee, and Martin Rinard. Safe runtime downcasts with ownership types. In ECOOP International Workshop on Aliasing, Con nement and Ownership in Object-Oriented Programming (ECOOP IWACO), July 2003.
Safe Runtime Downcasts with Ownership Types - Boyapati, Lee, Rinard (2002) (2 citations) Self-citation (Boyapati Rinard) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Safe runtime downcasts with ownership types. Technical Report TR-853, MIT Laboratory for Computer Science, June 2002.
Ownership Types for Object Encapsulation - Boyapati, Liskov, Shrira (2003) (13 citations) Self-citation (Boyapati) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Safe runtime downcasts with ownership types. Technical Report TR-853, MIT Laboratory for Computer Science, June 2002.
Lazy Modular Upgrades in Persistent Object Stores - Boyapati, Liskov, Shrira.. (2003) (3 citations) Self-citation (Boyapati) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Safe runtime downcasts with ownership types. In ECOOP International Workshop on Aliasing, Con nement and Ownership in Object-Oriented Programming (IWACO), July 2003.
Ownership Types and Safe Lazy Upgrades in Object-Oriented.. - Boyapati, Liskov, Shrira (2002) (1 citation) Self-citation (Boyapati) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Safe runtime downcasts with ownership types. Technical Report TR-853, MIT Laboratory for Computer Science, June 2002.
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) Self-citation (Boyapati Rinard) (Correct)
....even if we assume that the object is indeed a Vector. We use type passing [45] to support safe runtime downcasts, but we only keep runtime ownership and lock level information for objects that are potentially involved in downcasts to types with multiple parameters. A companion technical report [5] describes how to do this e#ciently without much space or time overhead. Note that our implementation of the type passing approach is JVM compatible. To gain preliminary experience, we implemented a number of Java programs in our system including several classes from the Java libraries. We also ....
C.Boyapati,R.Lee,andM.Rinard.Saferuntime downcasts with ownership types. Technical Report TR-853, MIT Laboratory for Computer Science, June 2002.
Ownership Types and Safe Lazy Upgrades in Object-Oriented.. - Boyapati, Liskov, Shrira (2002) (1 citation) Self-citation (Boyapati) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Safe runtime downcasts with ownership types. Technical Report TR-853, MIT Laboratory for Computer Science, June 2002.
A Type and Effect System for Atomicity - Flanagan, Qadeer (2003) (4 citations) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. Safe runtime downcasts with ownership types. Technical Report 853, MIT Laboratory for Computer Science, June 2002.
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
No context found.
Chandrasekhar Boyapati, Robert Lee, and Martin Rinard. Safe runtime downcasts with ownership types. Technical Report MIT-LCS-TR-853, Laboratory for Computer Science, MIT, June 2002.
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