Back to Search Start Over

Resources, concurrency, and local reasoning

Authors :
O’Hearn, Peter W.
Source :
Theoretical Computer Science. May2007, Vol. 375 Issue 1-3, p271-307. 37p.
Publication Year :
2007

Abstract

Abstract: In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs. [Copyright &y& Elsevier]

Subjects

Subjects :
*LOGIC
*COMPUTER programming
*COMPUTER software
*COMPUTER algorithms

Details

Language :
English
ISSN :
03043975
Volume :
375
Issue :
1-3
Database :
Academic Search Index
Journal :
Theoretical Computer Science
Publication Type :
Academic Journal
Accession number :
24635116
Full Text :
https://doi.org/10.1016/j.tcs.2006.12.035
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details