Verifying correct usage of atomic blocks using access permissions

Nels Beckman. Verifying correct usage of atomic blocks using access permissions. In Gail E. Harris, editor, Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA. pages 905-906, ACM, 2008. [doi]

Authors

Nels Beckman

This author has not been identified. Look up 'Nels Beckman' in Google