Multiple Aggregate Entry Points for Ownership Types

  title={Multiple Aggregate Entry Points for Ownership Types},
  author={Johan {\"O}stlund and Tobias Wrigstad},
Deep ownership types gives a strong notion of aggregate by enforcing the so-called owners-as-dominators property: every path from a system root to an object must pass through its owner. Consequently, encapsulated aggregates must have a single bridge object that mediates all external interaction with its internal objects. In this paper, we present an extension of deep ownership that relaxes the single bridge object constraint and allows several bridge objects to collectively define an aggregate… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.