Title: Generic ownership for generic Java
Authors: Potanin, Alex
Noble, James
Clarke, Dave
Biddle, Robert #
Issue Date: Oct-2006
Publisher: ACM
Host Document: SIGPLAN notices vol:41 issue:10 pages:311-324
Conference: OOPSLA edition:21 location:Portland, Oregon, USA date:22-26 October 2006
Abstract: Ownership types enforce encapsulation in object-oriented programs by ensuring that objects cannot be leaked beyond object(s) that own them. Existing ownership programming languages either do not support parametric polymorphism (type genericity) or attempt to add it on top of ownership restrictions. Generic Ownership provides per-object ownership on top of a sound generic imperative language. The resulting system not only provides ownership guarantees comparable to established systems, but also requires few additional language mechanisms due to full reuse of parametric polymorphism. We formalise the core of Generic Ownership, highlighting that only restriction of this calls and owner subtype preservation are required to achieve deep ownership. Finally we describe how Ownership Generic Java (OGJ) was implemented as a minimal extension to Generic Java in the hope of bringing ownership types into mainstream programming.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Non-KU Leuven Association publications
# (joint) last author

Files in This Item:
File Description Status SizeFormat
p311-potanin.pdfMain article Published 273KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.