The ownership check is requiered for each access to an object. However it is straightforward to understand that successive checks of the same object can be opti

The ownership check is requiered for each access to an object. However it is straightforward to understand that successive checks of the same object can be optimized out if the object has not been passed to another owner. In this thesis I describe dynamic and static analyses to remove the unecessary checks.