Ownership, filters and crossing handlers: flexible ownership in dynamic languages

@inproceedings{Wernli2012OwnershipFA,
  title={Ownership, filters and crossing handlers: flexible ownership in dynamic languages},
  author={Erwann Wernli and Pascal Maerki and Oscar Nierstrasz},
  booktitle={DLS},
  year={2012}
}
Sharing mutable objects can result in broken invariants, exposure of internal details, and other subtle bugs. To prevent such issues, it is important to control accessibility and aliasing of objects. Dynamic Ownership is an effective way to do so, but its owner-as-dominator discipline is too restrictive: objects are either accessible or not. We propose in this paper to control accessibility and aliasing with more flexibility using two mechanisms, filters and crossing handlers. We demonstrate… CONTINUE READING