Jump to Content

Types for safe locking: Static race detection for Java

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

Abstract

Research Areas