2003
DOI: 10.1007/978-3-540-45070-2_9
|View full text |Cite
|
Sign up to set email alerts
|

External Uniqueness Is Unique Enough

Abstract: External uniqueness is a surprising new way to add unique references to an OOPL. The idea is that an externally unique reference is the only reference into an aggregate from outside the aggregate. Internal references which do not escape the boundary of the aggregate are innocuous and therefore permitted. Based on ownership types, our proposal not only overcomes an abstraction problem from which existing uniqueness proposals suffer, it also enables many examples which are inherently not unique, such as a unique… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
127
0

Year Published

2004
2004
2024
2024

Publication Types

Select...
4
3

Relationship

2
5

Authors

Journals

citations
Cited by 113 publications
(127 citation statements)
references
References 34 publications
0
127
0
Order By: Relevance
“…Owner-polymorphic methods take owners as parameters, similar to type parameters, and allow code to be reused with different owners [7,8,12,18]. The scope of owner parameters is limited to the current method, and an argument with owner parameters in its type cannot be statically aliased by the receiver (see Wrigstad's dissertation [21] for an extended discussion of this topic, in particular the "hide owner" pattern that lifts this restriction in certain situations).…”
Section: Owner-polymorphic Methodsmentioning
confidence: 99%
See 2 more Smart Citations
“…Owner-polymorphic methods take owners as parameters, similar to type parameters, and allow code to be reused with different owners [7,8,12,18]. The scope of owner parameters is limited to the current method, and an argument with owner parameters in its type cannot be statically aliased by the receiver (see Wrigstad's dissertation [21] for an extended discussion of this topic, in particular the "hide owner" pattern that lifts this restriction in certain situations).…”
Section: Owner-polymorphic Methodsmentioning
confidence: 99%
“…The scope of owner parameters is limited to the current method, and an argument with owner parameters in its type cannot be statically aliased by the receiver (see Wrigstad's dissertation [21] for an extended discussion of this topic, in particular the "hide owner" pattern that lifts this restriction in certain situations). As an illustration, an owner-polymorphic method in the Joline system [12,21] looks like this:…”
Section: Owner-polymorphic Methodsmentioning
confidence: 99%
See 1 more Smart Citation
“…construct [28] (or the equivalent Clean construct #!) and observer types [23] both fall into this category, and this approach has also been adopted by some non-functional languages where it is sometimes called borrowing [8]. It is, however, non-trivial to extend this approach to a concurrent setting with a partial order over execution steps; our approach can be regarded as one preliminary attempt to do so.…”
Section: Related Workmentioning
confidence: 99%
“…Ownership types usually cannot easily handle change of owner, except for externally unique objects, i.e., for objects for which references from the outside are unique [17].…”
Section: Types For Hierarchic Shapesmentioning
confidence: 99%