Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
From MaRDI portal
Publication:4930732
DOI10.1007/978-3-642-15769-1_16zbMath1306.68013MaRDI QIDQ4930732
Zachary Kincaid, Azadeh Farzan
Publication date: 1 October 2010
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15769-1_16
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
Related Items
Lifting numeric relational domains to algebraic data types, Dataflow Analysis for Datarace-Free Programs, Model Checking Concurrent Programs