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]

Abstract

Abstract is missing.