Static Deadlock Detection for Java Libraries.

Amy L. Williams William Thies Michael D. Ernst

Published in: ECOOP (2005)

Keyphrases

deadlock detection
distributed database systems
distributed systems
manufacturing systems
communication protocol
computer networks
database applications
source code
digital libraries
object oriented
distributed databases
database systems
anomaly detection
data integration