See this document in CiteSeerX!

Defaulting Generic Java to Ownership (2004)  (Make Corrections)  
Alex Potanin, James Noble, Dave Clarke, and Robert Biddle {alex,...



  Home/Search   Context   Related

 
View or download:
cs.ru.nl/ftfjp/200...avaToOwnership.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.ru.nl/ftfjp/2004 (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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