Paper Citation Record · LEDGER

Modular Verification of Heap Reachability Properties in Separation Logic

As of 16 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:1908.05799.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1908.05799 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:15:38.487446Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

22 of 22 outbound references displayed

verified exact1
verified fuzzy19
unresolved2
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 21da8bb5-df6f-416b-be55-dfb3c220b8e4 · outbound

This paper cites https://www.microsoft.com/en-us/research/publication/this-is-boogie-2-2/ K.

Modular Verification of Heap Reachability Properties in Separation Logic https://www.microsoft.com/en-us/research/publication/this-is-boogie-2-2/ K

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.732279Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 58b42997-6630-4e6a-975b-c55f5b49f4a7 · outbound

This paper cites We denote the footprint of the method enclosing this ﬁeld update as g.

Modular Verification of Heap Reachability Properties in Separation Logic We denote the footprint of the method enclosing this ﬁeld update as g

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.604671Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 7bcea41f-8dd3-41f6-a294-8efed76f0d5f · outbound

This paper cites an unresolved cited work.

Modular Verification of Heap Reachability Properties in Separation Logic Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:15:38.572748Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 88c3905d-95d2-4b24-bbd8-b0e99ad5ac66 · outbound

This paper cites ACM International Conference Proceeding Series (2009).

Modular Verification of Heap Reachability Properties in Separation Logic ACM International Conference Proceeding Series (2009)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.691328Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 54676d2d-413e-4a15-9ff8-59d2f8ee8e00 · outbound

This paper cites In Principled Software Development , Peter Müller and Ina Schaefer (Eds.).

Modular Verification of Heap Reachability Properties in Separation Logic In Principled Software Development , Peter Müller and Ina Schaefer (Eds.)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.677487Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 394d4633-aa58-45e6-bb27-ba0152921c9b · outbound

This paper cites The dire ct update formulas provide a canonical form of the reachability relation in the new state (e.

Modular Verification of Heap Reachability Properties in Separation Logic The dire ct update formulas provide a canonical form of the reachability relation in the new state (e

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.589228Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 273be454-915e-40ef-a4ce-8086b9f6d2ca · outbound

This paper cites Page 33 of 1–34.

Modular Verification of Heap Reachability Properties in Separation Logic Page 33 of 1–34

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.558249Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 259052b3-9cf8-410c-a36b-d840e4906e4e · outbound

This paper cites 2019-08-19 00:46.

Modular Verification of Heap Reachability Properties in Separation Logic 2019-08-19 00:46

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.543723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation ed1e1e46-d2d0-4b01-92f6-34c199938ad3 · outbound

This paper cites Operations Research 6, 6 (1958), 791–812.

Modular Verification of Heap Reachability Properties in Separation Logic Operations Research 6, 6 (1958), 791–812

Reference 1958

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.810888Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a889365d-28e8-4343-a07b-413b7f9c91ef · outbound

This paper cites The Bell System Technical Journal 38, 4 (1959), 985–999.

Modular Verification of Heap Reachability Properties in Separation Logic The Bell System Technical Journal 38, 4 (1959), 985–999

Reference 1959

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.745201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation fd76b0d6-295b-4d49-9492-84c8a45cc087 · outbound

This paper cites The Bell System Technical Journal 44, 10 (1965), 2245–2269.

Modular Verification of Heap Reachability Properties in Separation Logic The Bell System Technical Journal 44, 10 (1965), 2245–2269

Reference 1965

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.704199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 63ee2dd0-9769-43e2-b2ac-5c8a768ec038 · outbound

This paper cites Journal of the ACM 22, 2 (1975), 215–225.

Modular Verification of Heap Reachability Properties in Separation Logic Journal of the ACM 22, 2 (1975), 215–225

Reference 1975

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.619655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 2bd6dbdb-764f-4476-b2f3-d4b889f7a0f3 · outbound

This paper cites IEEE Trans.

Modular Verification of Heap Reachability Properties in Separation Logic IEEE Trans

Reference 1978

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.824554Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 68c1c29f-9c9e-42d6-a724-7704705ebeb3 · outbound

This paper cites Algorithmica 1 (1986), 111–129.

Modular Verification of Heap Reachability Properties in Separation Logic Algorithmica 1 (1986), 111–129

Reference 1986

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.771253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e552def7-b353-4b3b-bd24-c97a2eb966f4 · outbound

This paper cites IEEE Trans.

Modular Verification of Heap Reachability Properties in Separation Logic IEEE Trans

Reference 1990

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.648876Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 759854b7-83cd-4ed6-859e-3dfc46eb0c62 · outbound

This paper cites an unresolved cited work.

Modular Verification of Heap Reachability Properties in Separation Logic Unresolved cited work

Reference 1995

Resolution: unresolved; raw_fallback, observed 2026-08-14T13:15:38.784726Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 362415ca-94f6-4eff-ae87-40d0f8923ad7 · outbound

This paper cites Journal of the ACM 52, 3 (2005), 365–473.

Modular Verification of Heap Reachability Properties in Separation Logic Journal of the ACM 52, 3 (2005), 365–473

Reference 2005

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.797797Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 3e3ec3cd-59ea-494e-bf29-ac3fdcc6e358 · outbound

This paper cites Logical Methods in Computer Science 5, 2 (2009).

Modular Verification of Heap Reachability Properties in Separation Logic Logical Methods in Computer Science 5, 2 (2009)

Reference 2009

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.716612Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 27308937-f9e9-4dad-ac93-e7a528b6db2e · outbound

This paper cites In ESOP, Gilles Barthe (Ed.).

Modular Verification of Heap Reachability Properties in Separation Logic In ESOP, Gilles Barthe (Ed.)

Reference 2011

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.662279Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation 482da0ea-0a53-4701-88d7-b4759699b600 · outbound

This paper cites ACM Transactions on Programming Languages and Systems 34, 1, Article 2 (2012), 58 pages.

Modular Verification of Heap Reachability Properties in Separation Logic ACM Transactions on Programming Languages and Systems 34, 1, Article 2 (2012), 58 pages

Reference 2012

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.633862Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e12d2eb1-927b-48a0-93ed-3c2bf7272e27 · outbound

This paper cites PACMPL 2, POPL (2018), 37:1–37:31.

Modular Verification of Heap Reachability Properties in Separation Logic PACMPL 2, POPL (2018), 37:1–37:31

Reference 2018

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T13:15:38.758110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation e69e6a13-8485-4b2a-bd2b-c78c0d613dee · outbound

This paper cites https://doi.org/10.5281/zenodo.3367478 Hongseok Yang.

Modular Verification of Heap Reachability Properties in Separation Logic https://doi.org/10.5281/zenodo.3367478 Hongseok Yang

Reference 2019

Resolution: verified exact; doi, observed 2026-08-14T13:15:38.525046Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Pith citing papers

No inbound Pith citation observations are available.