Associating synchronization constraints with data in an object-oriented language | ACM SIGPLAN Notices | DeepDyve