Compositional Bitvector Analysis for Concurrent Programs with Nested Locks

DOI10.1007/978-3-642-15769-1_16zbMath1306.68013OpenAlexW1582180905MaRDI 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

Mathematics Subject Classification ID

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

Related Items (3)

Model Checking Concurrent Programs ⋮ Lifting numeric relational domains to algebraic data types ⋮ Dataflow Analysis for Datarace-Free Programs

This page was built for publication: Compositional Bitvector Analysis for Concurrent Programs with Nested Locks