Types for safe locking: Static race detection for Java

Cormac Flanagan
Stephen N. Freund
ACM Trans. Program. Lang. Syst., 28(2006), pp. 207-255

Abstract

Research Areas