Types for safe locking: Static race detection for Java (2006)

by Martin Abadi , Cormac Flanagan , Stephen N. Freund
Venue:ACM Transactions on Programming Languages and Systems
Citations:65 - 8 self

Document Versions

Types for safe locking: Static race detection for Java –Martin Abadi, Cormac Flanagan, Stephen N. Freund — 2006 — ACM Transactions on Programming Languages and Systems
Types for safe locking: Static race detection for Java –Martin Abadi, Cormac Flanagan, Stephen N. Freund — 2006 — ACM Transactions on Programming Languages and Systems
Types for safe locking: Static race detection for Java –Martin Abadi, Cormac Flanagan, Stephen N. Freund — 2006 — ACM Transactions on Programming Languages and Systems