Deadlock detection of Java bytecode

DOI10.1007/978-3-319-94460-9_3OpenAlexW2754749880MaRDI QIDQ1671137

Cosimo Laneve, Abel Garcia

Publication date: 6 September 2018

Full work available at URL: https://arxiv.org/abs/1709.04152

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (1)

A lightweight deadlock analysis for programs with threads and reentrant locks

Uses Software

• Scala
• ThreadSafe
• Checkmate

This page was built for publication: Deadlock detection of Java bytecode