Local Reasoning about Programs that Alter Data Structures

The work

AuthorsPeter W. O'Hearn; John Reynolds; Hongseok Yang
Editors
Typeinproceedings
Year2001
Citekeyohearn2001local

Where it appeared

Published inComputer Science Logic
PublisherSpringer
Pages1--19

Identifiers

DOI10.1007/3-540-44802-0_1
OpenAlexW1495368328

Access

Landing pagehttps://doi.org/10.1007/3-540-44802-0_1

Related

Distinct frombarthe2020probabilistic
Distinct frombrotherston2008cyclic
Distinct fromcalcagno2011compositional
Distinct fromclarke1996formal
Distinct fromishtiaq2001bi
Distinct fromohearn2007resources
Distinct fromohearn2019separation
Distinct fromreynolds2002separation
Distinct fromyang2001local

How it got here

How it got hereagent via openalex
Added2026-08-04 00:00 UTC
Approved bya person 2026-08-07 23:33 UTC

Filed under

csl hongseokyang johnreynolds lncs ohearn separation-logic

Cite it as

@inproceedings{ohearn2001local,
  title        = {Local Reasoning about Programs that Alter Data Structures},
  author       = {Peter W. O'Hearn and John Reynolds and Hongseok Yang},
  year         = {2001},
  booktitle    = {Computer Science Logic},
  publisher    = {Springer},
  pages        = {1--19},
  doi          = {10.1007/3-540-44802-0_1},
}

This record lives at https://refs.drheap.org/ohearn2001local/ and will keep doing so.