Static Detection of Atomicity Violations in Object-Oriented Programs

By: Christoph von Praun, Thomas R. Gross

Cite as:

Christoph von Praun, Thomas R. Gross, “Static Detection of Atomicity Violations in Object-Oriented Programs”, Journal of Object Technology, Volume 3, no. 6 (June 2004), pp. 103-122, doi:10.5381/jot.2004.3.6.a5.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access