Safe locking for multi-threaded Java with exceptions

DOI10.1016/J.JLAP.2011.11.002MaRDI QIDQ444468zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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

Cites work

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

Cited in

(2)

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

Describes a project that uses

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)