Ownership types for safe programming: preventing data races and deadlocks

Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard. Ownership types for safe programming: preventing data races and deadlocks. In OOPSLA. pages 211-230, 2002. [doi]

Abstract

Abstract is missing.