Verifying correct usage of atomic blocks using access permissions

• Authors:

• Nels E. Beckman

• Affiliations:

• Carnegie Mellon University, Pittsburgh, PA, USA

• Venue:
• Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
• Year:
• 2008