8 search results - page 1 / 2 » Local reasoning about storable locks |
94
Voted
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
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...
219
Voted
POPL
2006
ACM
16 years 1 months ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
94
Voted
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...
131
Voted
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...