Title: Existential owners for ownership types
Authors: Wrigstad, Tobias
Clarke, Dave
Issue Date: May-2007
Series Title: Journal of Object Technology vol:6 issue:4 pages:141-159
Abstract: This paper describes a lightweight approach to adding run-time checked downcasts to a language in the presence of ownership types without the need for a run-time representation of owners. Previous systems have required owners of objects to be tracked and matched at run-time which is costly in terms of memory and performance. Our proposal avoids run-time overhead to deal with owners and also extends the expressiveness of ownership-based systems enough to handle the Java equals idiom for structural equality comparison. The price is that it is sometimes impossible to downcast a type into a type that can be statically aliased. Our proposal is completely orthogonal and combinable with previous work.
ISSN: 1660-1769
Publication status: published
KU Leuven publication type: DI
Appears in Collections:Non-KU Leuven Association publications

Files in This Item:
File Description Status SizeFormat
article5.pdfMain article Published 305KbAdobe PDFView/Open


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