Safe locking for multi-threaded Java with exceptions

DOI10.1016/j.jlap.2011.11.002zbMath1246.68077OpenAlexW2049121450MaRDI 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

zbMATH Keywords

Javastatic analysisexceptionslock-based concurrencymulti-threadingnon-lexicalre-entrant lockstype and effect systems

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• Featherweight Java

Cites Work

• A type system for JVM threads
• A transactional object calculus
• Safe Locking for Multi-threaded Java