22 citations · 38 across the 5 of their papers we have counts for
1 paper · 2 filters
Michael Ernst, Damiano Macedonio, Massimo Merro +1
To prevent concurrency errors, programmers need to obey a locking discipline. Annotations that specify that discipline, such as Java's @GuardedBy, are already widely used. Unfortun…