Safe locking for multi-threaded Java with exceptions
From MaRDI portal
Publication:444468
DOI10.1016/J.JLAP.2011.11.002zbMATH Open1246.68077OpenAlexW2049121450MaRDI QIDQ444468FDOQ444468
Authors: Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, 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
Recommendations
Javastatic analysisexceptionslock-based concurrencymulti-threadingnon-lexicalre-entrant lockstype and effect systems
Cites Work
Cited In (2)
Uses Software
This page was built for publication: Safe locking for multi-threaded Java with exceptions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q444468)