DOIAbstract
AbstractIn this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs
AbstractIn this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs
One might think that specifying and reasoning about concurrent programs would be easier with more ex...
Colloque avec actes et comité de lecture. internationale.International audienceWe define a separatio...
One might think that specifying and reasoning about concurrent programs would be easier with more ex...
AbstractConcurrent separation logic is a Hoare logic for modular reasoning about concurrent heap-man...
AbstractConcurrent Separation Logic is a resource-sensitive logic for fault-free partial correctness...
Concurrent separation logic is a development of Hoare logic adapted to deal with pointers and concur...
AbstractSeparation logic [Reynolds, J. C., Intuitionistic reasoning about shared mutable data struct...
We develop local reasoning techniques for message passing concurrent programs based on ideas from s...
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program...
AbstractThis paper presents a new soundness proof for concurrent separation logic (CSL) in terms of ...
AbstractParkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which...
© 2014 The Authors.We study abstract local reasoning for concurrent libraries. There are two main ap...
Abstract. Separation Logic is a recent development in programming logic which has been applied by Pe...
This paper applied the separation logic notions of ownership and permission to ‘stack' variables tha...
Abstract. We present a novel model of concurrent computations with shared memory and provide a simpl...
One might think that specifying and reasoning about concurrent programs would be easier with more ex...
Colloque avec actes et comité de lecture. internationale.International audienceWe define a separatio...
One might think that specifying and reasoning about concurrent programs would be easier with more ex...
AbstractConcurrent separation logic is a Hoare logic for modular reasoning about concurrent heap-man...
AbstractConcurrent Separation Logic is a resource-sensitive logic for fault-free partial correctness...
Concurrent separation logic is a development of Hoare logic adapted to deal with pointers and concur...
AbstractSeparation logic [Reynolds, J. C., Intuitionistic reasoning about shared mutable data struct...
We develop local reasoning techniques for message passing concurrent programs based on ideas from s...
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program...
AbstractThis paper presents a new soundness proof for concurrent separation logic (CSL) in terms of ...
AbstractParkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which...
© 2014 The Authors.We study abstract local reasoning for concurrent libraries. There are two main ap...
Abstract. Separation Logic is a recent development in programming logic which has been applied by Pe...
This paper applied the separation logic notions of ownership and permission to ‘stack' variables tha...
Abstract. We present a novel model of concurrent computations with shared memory and provide a simpl...
One might think that specifying and reasoning about concurrent programs would be easier with more ex...
Colloque avec actes et comité de lecture. internationale.International audienceWe define a separatio...
One might think that specifying and reasoning about concurrent programs would be easier with more ex...
Add to ORKG