Deadlock checking by data race detection
From MaRDI portal
Publication:465488
DOI10.1016/j.jlamp.2014.07.003zbMath1371.68199OpenAlexW2065314458MaRDI QIDQ465488
Martin Steffen, Volker Stolz, Ka I. Pun
Publication date: 23 October 2014
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2014.07.003
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Deadlock checking by a behavioral effect system for lock handling
- Dynamic inference of polymorphic lock types
- Deadlock Checking by Data Race Detection
- Region Analysis for Race Detection
- A Deadlock-Free Semantics for Shared Memory Concurrency
- Polymorphic type, region and effect inference
- Static Analysis