Title: External uniqueness is unique enough
Authors: Clarke, Dave ×
Wrigstad, Tobias #
Issue Date: Jul-2003
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:2743 pages:176-200
Conference: ECOOP edition:17 location:Darmstadt date:21-23 July 2003
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 axe 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 axe inherently not unique, such as a unique reference to a set of links in a doubly-linked list, without losing the benefits of uniqueness.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Non-KU Leuven Association publications
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
euiue.pdf Published 239KbAdobe PDFView/Open


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

© Web of science