Static Detection of Atomicity Violations in Object-Oriented Programs

Christoph von Praun, Thomas R. Gross. Static Detection of Atomicity Violations in Object-Oriented Programs. Journal of Object Technology, 3(6):103-122, 2004. [doi]

Abstract

Abstract is missing.