Type-based race detection for Java.

Cormac Flanagan Stephen N. Freund

Published in: PLDI (2000)

Keyphrases

automatic detection
database applications
detection scheme
detection accuracy
detection algorithm
object detection
false positives
automated detection
detection rate
detection method
web services
source code
open source
high level
image segmentation
data mining
database