3 search results - page 1 / 1 » Local Reasoning for Storable Locks and Threads |
135
Voted
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
129
click to vote
FCSC
2010
14 years 10 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...