Safe locking for multi-threaded Java with exceptions
From MaRDI portal
Publication:444468
DOI10.1016/j.jlap.2011.11.002zbMath1246.68077MaRDI QIDQ444468
Einar Broch Johnsen, Olaf Owe, Thi Mai Thuong Tran, Martin Steffen
Publication date: 14 August 2012
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2011.11.002
Java; static analysis; exceptions; lock-based concurrency; multi-threading; non-lexical; re-entrant locks; type and effect systems
68N15: Theory of programming languages
Uses Software
Cites Work