Change search
ReferencesLink to record
Permanent link

Direct link
Existential owners for ownership types
KTH, School of Information and Communication Technology (ICT), Computer and Systems Sciences, DSV.
2007 (English)In: Journal of Object Technology, ISSN 1660-1769, Vol. 6, no 4, 141-159 p.Article in journal (Refereed) Published
Abstract [en]

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 [6] 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.

Place, publisher, year, edition, pages
2007. Vol. 6, no 4, 141-159 p.
National Category
Other Computer and Information Science
URN: urn:nbn:se:kth:diva-155633ScopusID: 2-s2.0-34249901583OAI: diva2:761671

QC 20141107

Available from: 2014-11-07 Created: 2014-11-07 Last updated: 2014-11-07Bibliographically approved

Open Access in DiVA

No full text


Search in DiVA

By author/editor
Wrigstad, Tobias
By organisation
Computer and Systems Sciences, DSV
In the same journal
Journal of Object Technology
Other Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 17 hits
ReferencesLink to record
Permanent link

Direct link