• DOI:10.1145/286936.286947
Corpus ID: 14951185

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

View on ACM

websrv0a.sdu.dk

Save to Library

Create Alert

Cite

Launch Research Feed