Ownership types for flexible alias protection

@inproceedings{Clarke1998OwnershipTF,
  title={Ownership types for flexible alias protection},
  author={Dave Clarke and J. Potter and J. Noble},
  booktitle={OOPSLA '98},
  year={1998}
}
  • Dave Clarke, J. Potter, J. Noble
  • Published in OOPSLA '98 1998
  • Computer Science
  • Object-oriented programming languages allow inter-object aliasing. Although necessary to construct linked data structures and networks of interacting objects, aliasing is problematic in that an aggregate object's state can change via an alias to one of its components, without the aggregate being aware of any aliasing.Ownership types form a static type system that indicates object ownership. This provides a flexible mechanism to limit the visibility of object references and restrict access paths… CONTINUE READING
    647 Citations

    Figures and Topics from this paper

    Object ownership for dynamic alias protection
    • 35
    Generic Universe Types
    • 121
    • PDF
    Dynamic Alias Protection with Aliasing Contracts
    • 1
    • PDF
    Formalization of Generic Universe Types
    • 9
    • PDF
    Ownership types for object encapsulation
    • 136
    • PDF
    Aliasing in Object-Oriented Programming. Types, Analysis and Verification
    • 51
    Confined types
    • 153
    • PDF

    References

    SHOWING 1-5 OF 5 REFERENCES
    Islands: Aliasing Protection in Object-Oriented Languages
    • 274
    • Highly Influential
    Classes and mixins
    • 506
    • Highly Influential
    Eiffel: The Language
    • 1,436
    • Highly Influential
    Pizza into Java: translating theory into practice
    • 491
    • Highly Influential
    • PDF
    The Annotated C++
    • Reference Manual. Addison-Wesley,
    • 1990