| 
|
Quote: type annotation for static race detection; found errors in Java libraries; 20 annotations per 1000 lines
topics >
all references >
references e-f >
Topic:
flavor analysis and typestates for supplementary type checking
Group:
parallel processing
Topic:
race conditions
Quotation Skeleton
This paper presents a static race detection analysis … of capturing many common synchronization patterns. These patterns … checking over 40,000 lines of Java code with … examples, fewer than 20 additional type annotations per … races in the standard Java libraries and other … [p. 220] we discovered a number of race conditions … and five in the WebL implementation. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Group: parallel processing (41 topics, 1116 quotes)
Topic: race conditions (30 items)