Alex Potanin, James Noble, Dave Clarke, and Robert Biddle {alex,...  Home/Search
Context
Related
| cs.ru.nl/ftfjp/200...avaToOwnership.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.ru.nl/ftfjp/2004 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Generic ownership is a mechanism for seamlessly combining ownership and genericity. (Update)
Active bibliography (related documents): More All
0.5: Exceptions in Ownership Type Systems - Dietl, Müller (2004) (Correct)
0.3: On Variance-Based Subtyping for Parametric Types - Igarashi, Viroli (2002) (Correct)
0.3: Converting Java Programs to Use Generic Libraries - Alan Donovan Adam (2004) (Correct)
Similar documents based on text: More All
0.4: Proceedings of the First International Workshop on Aliasing.. - (ed.) (2003) (Correct)
0.4: The Fox - A Tool for Java Object Graph Analysis - Potanin (Correct)
0.3: Checking Ownership and Confinement Properties - Alex Potanin And (2002) (Correct)
BibTeX entry: (Update)
@misc{ james-defaulting,
author = "Alex Potanin James",
title = "Defaulting Generic Java to Ownership",
url = "citeseer.ist.psu.edu/724637.html" }
Citations (may not include all citations):117 Featherweight Java: a minimal core calculus for Java and GJ - Igarashi, Pierce et al. - 2001
74 Ownership types for flexible alias protection - Clarke, Potter et al. - 1998
52 Alias annotations for program understanding - Aldrich, Kostadinov et al. - 2002
25 Confined types - Bokowski, Vitek - 1999
19 A parameterized type system for race-free Java programs (context) - Boyapati, Rinard - 2001
19 Encapsulating objects with Confined Types - Grothoff, Palsberg et al. - 2001
9 School of Computer Science and Engineering (context) - Clarke, containment - 2002
3 A recipe for raw types - Igarashi, Pierce et al. - 2001
2 SafeJava: A Unified Type System for Safe Programming - Boyapati - 2004
1 and Robert Biddle (context) - Potanin, Noble et al. - 2004
1 JSR14 prototype implementation (context) - Microsystems - 2003
1 Featherweight generic confinement (context) - Potanin, Noble et al. - 2004
Documents on the same site (http://www.cs.ru.nl/ftfjp/2004.html): More
pure: Useful Abstractions in Specifications - Mike Barnett David (2004) (Correct)
Reasoning with Specifications Containing Method Calls in JML and.. - Cok (2004) (Correct)
Method Inlining, Dynamic Class Loading, and Type Soundness - Glew, Palsberg (2004) (Correct)
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