kent1

3 ms·

1. 1.▲
   Which word begins with y and looks like an axe in this picture(english.stackexchange.com)

   3 points by kent1 9y ago|0 comments
2. 2.▲
   by kent1 10y ago

   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 d
3. 3.▲
   by kent1 10y ago

   I worked on a similar proposal during my PhD thesis. It is formalized for a Java-like language and implemented in the Jikes RVM. We also carried a proof of isolation using Coq. https://tel.archives-ouvertes.fr/tel-00933072