Safe locking for multi-threaded Java with exceptions

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

• Safe locking for multi-threaded Java
• A deductive proof system for multithreaded Java with exceptions
• scientific article; zbMATH DE number 1617335
• A new type system for JVM lock primitives
• A shared-variable concurrency analysis of multi-threaded object-oriented programs

zbMATH Keywords

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• A type system for JVM threads
• A transactional object calculus
• Safe locking for multi-threaded Java

Cited In (2)

• Structural lock correlation with ownership types
• Safe locking for multi-threaded Java

Uses Software

• Featherweight Java

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)