Types for safe locking: Static race detection for Java.

Martín Abadi Cormac Flanagan Stephen N. Freund

Published in: ACM Trans. Program. Lang. Syst. (2006)

Keyphrases

detection method
false positives
detection accuracy
detection algorithm
programming language
automatic detection
object detection
detection rate
byte code
false alarms
object oriented
open source
operating system
change detection
neural network
database systems
case study
website
data mining