2007
DOI: 10.5381/jot.2007.6.4.a5
|View full text |Cite
|
Sign up to set email alerts
|

Existential Owners for Ownership Types.

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 [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 … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
11
0

Year Published

2008
2008
2012
2012

Publication Types

Select...
6
1
1

Relationship

2
6

Authors

Journals

citations
Cited by 24 publications
(11 citation statements)
references
References 14 publications
0
11
0
Order By: Relevance
“…Each class could only be declared in one place, so programmers had to resort to copying code. We mitigate that problem here with reusable classes: effectively they correspond to classes with a single, implicit existential owner parameter [27,40]. The present approach is still limited.…”
Section: Comparison With Related Ownership Type Systemsmentioning
confidence: 98%
“…Each class could only be declared in one place, so programmers had to resort to copying code. We mitigate that problem here with reusable classes: effectively they correspond to classes with a single, implicit existential owner parameter [27,40]. The present approach is still limited.…”
Section: Comparison With Related Ownership Type Systemsmentioning
confidence: 98%
“…This approach allows owner-polymorphic methods to be elegantly implemented and it distinguishes objects with different and equal unknown owners. Existential quantification also helps to implement effective run-time downcasts in the presence of ownership types: a subtype's inferred owners are treated as existentially quantified [32]. The key difference between these approaches and ours is that existential ownership expresses don't care whereas gradual types express don't know concerning the unknown owners.…”
Section: Related Workmentioning
confidence: 99%
“…Existential owners can be used in dynamic casts [24]. Casts are not supported in Jo∃, but they should be straightforward to add.…”
Section: Related Workmentioning
confidence: 99%