Separation logic: a logic for shared mutable data structures

2003 · 2,166 citations · 0 from inside this corpus

The source holds an abstract for this work, but its best open-access copy is under no open licence, which does not permit us to republish the text. Read it at the source below.

this paper works it cites works citing it node size = global citations · hover for the full title

Links

DOI · OpenAlex record

Topics

Logic, programming, and type systems	Computer Science
Distributed systems and fault tolerance	Computer Science
Parallel Computing and Optimization Techniques	Computer Science

Is this record sound?

complete

Nothing in this record contradicts itself and no field we check is missing.

supports1 author record(s) attached.
supports38 reference(s) recorded.
supportsThe DOI's year agrees with the publication year.
supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:50+00:00.

sha256 86a6d6715ff540a0…