Ownership types for safe program.: preventing data races and deadlocks (2002)

by C Boyapati, R Lee, M Rinard
Venue:In Proc. OOPSLA ’02