Separation Logic: A Logic for Shared Mutable Data Structures

DMCA

Separation Logic: A Logic for Shared Mutable Data Structures (2002)

Cached

Other Repositories/Bibliography

CiteULike
DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

by John Reynolds

Citations:

950 - 6 self

BibTeX

@INPROCEEDINGS{Reynolds02separationlogic:,
    author = {John Reynolds},
    title = {Separation Logic: A Logic for Shared Mutable Data Structures},
    booktitle = {},
    year = {2002},
    pages = {55--74},
    publisher = {IEEE Computer Society}
}

OpenURL

Abstract

In joint work with Peter O'Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative programs that use shared mutable data structure.

Keyphrases

separation logic shared mutable data structure joint work low-level imperative program early idea mutable data structure

DMCA