1 paper · 1 filter
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…