Resources, Concurrency and Local Reasoning

Resources, Concurrency and Local Reasoning (2004)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Peter W. O’Hearn

Venue:	THEORETICAL COMPUTER SCIENCE
Citations:	124 - 5 self

BibTeX

@INPROCEEDINGS{O’Hearn04resources,concurrency,
    author = {Peter W. O’Hearn},
    title = {Resources, Concurrency and Local Reasoning},
    booktitle = {THEORETICAL COMPUTER SCIENCE},
    year = {2004},
    pages = {49--67},
    publisher = {Springer}
}

Years of Citing Articles

Bookmark

OpenURL

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.

Citations

3118	Communicating sequential processes - Hoare - 1978
583	Separation logic: A logic for shared mutable data structures. Symp. on Logic in - Reynolds - 1994
446	Monitors - An Operating System Structuring Concept - Hoare - 1974
352	Language Support for Lightweight Transactions - Harris, Fraser - 2003
300	Cooperating sequential processes - Dijkstra - 1968
287	An Axiomatic Proof Technique for Parallel Programs I - Owicki, Gries - 1976
262	Ownership types for safe programming: Preventing data races and deadlocks - Boyapati, Lee, et al. - 2002
237	H.: Local Reasoning about Programs that Alter Data Structures - O’Hearn, Reynolds, et al. - 2001
173	Hierarchical ordering of sequential processes - Dijkstra - 2002
172	The logic of bunched implications - O’Hearn, Pym - 1999
142	Specification and design of (parallel) programs - Jones - 1983
141	Separation and information hiding - O’Hearn, Yang, et al. - 2004
136	Concurrent Programming: Principles and Practice - ANDREWS - 1991
132	The temporal semantics of concurrent programs - Pnueli - 1977
129	Verifying properties of parallel programs: An axiomatic approach - Owicki, Gries - 1976
119	Permission accounting in separation logic - Bornat, Calcagno, et al. - 2005
119	Checking interference with fractional permissions - Boyland - 2003
98	Towards a theory of parallel programming - Hoare - 1972
85	Representation independence, confinement and access control - Banerjee - 2002
83	Simple ownership types for object containment - Clarke, Noble, et al. - 2001
77	The Polyadic pi-Calculus: A Tutorial - Milner - 1991
77	Procedures and parameters: An axiomatic approach - Hoare - 1971
76	Operating systems principles - Hansen - 1973
64	The nucleus of a multiprogramming system - HANSEN - 1970
56	A decidable fragment of separation logic - Berdine, Calcagno, et al. - 2004
40	Structured multiprogramming - Hansen - 1972
38	A semantic basis for local reasoning - Yang, O’Hearn - 2002
32	A Spatial Logic for Concurrency - Caires, Cardelli
31	Modal Logic for Mobile Ambients - Anytime - 2000
18	Variables as resource in separation logic - Bornat, Calcagno, et al. - 2005
18	Synchronization of communicating processes - HABERMANN - 1972
13	Behavioral and Spatial Observations in a Logic for the pi-Calculus - Caires - 2004
6	A semantics for concurrent separation logic. Theoretical Computer Science, to appear. Preliminary version - Brookes - 2006
4	A generalization of Owicki-Gries' Hoare logic for a concurrent while language - Stirling - 1988
2	A semantics for concurrent separation logic. This Volume - Brookes - 2004