Local Reasoning about Programs that Alter Data Structures

The work

TitleLocal Reasoning about Programs that Alter Data Structures
AuthorsPeter W. O'Hearn; John Reynolds; Hongseok Yang
Typeconference paper
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

Where this came from

How it got herethe agent went looking · found via openalex
First seen2026-08-04
Standingendorsed
Approved2026-08-07
In: Computer Science Logic (CSL) venue Lecture Notes in Computer Science series

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},
  pages = {1--19},
  publisher = {Springer},
  doi = {10.1007/3-540-44802-0_1},
  url = {https://doi.org/10.1007/3-540-44802-0_1},
}

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