Associating synchronization constraints with data in an object-oriented language.

Mandana Vaziri, Frank Tip, Julian Dolby

Browse the full POPL paper archive.