Views are a novel language extension which enables developers to declaratively specify fine-grained (sub-object-level) locking policies. Views provide static support for detecting many race conditions.
Views: Synthesizing Fine-Grained Concurrency Control
Brian Demsky and Patrick Lam
Under review for publication in ACM Transactions on Software Engineering and Methodology
Please contact firstname.lastname@example.org for more information.
Please contact email@example.com for more information.