Paper Citation Record · LEDGER

Gradually Verifying Unfolding Expressions & Pure Functions

As of 9 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2607.15383.

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

pith.paper-citation-record.v1
2607.15383 v1

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T23:38:13.919765Z

measured 34 of 34 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

34 of 34 outbound references displayed

verified exact7
verified fuzzy0
unresolved22
parse uncertain0
malformed identifier5
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d81724d5-3ad2-4c67-a501-d882fd744425 · outbound

This paper cites 2010.C0, an Imperative Programming Language for Novice Computer Scientists.

Gradually Verifying Unfolding Expressions & Pure Functions 2010.C0, an Imperative Programming Language for Novice Computer Scientists

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:09.725816Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42379819-7546-44a4-8ca8-b480b81c6672 · outbound

This paper cites an unresolved cited work.

Gradually Verifying Unfolding Expressions & Pure Functions Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:09.789576Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5693fc9c-b8fc-41de-acb7-c0ee17dce81d · outbound

This paper cites Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N.

Gradually Verifying Unfolding Expressions & Pure Functions Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:09.856169Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b4ade88-bdde-4e82-a7dd-53ba9bfc4633 · outbound

This paper cites an unresolved cited work.

Gradually Verifying Unfolding Expressions & Pure Functions Unresolved cited work

Reference 4

Resolution: malformed identifier; no resolver link, observed 2026-08-01T23:38:09.977210Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation baa49d40-cba7-4bac-ae20-beca1e8e1d4c · outbound

This paper cites an unresolved cited work.

Gradually Verifying Unfolding Expressions & Pure Functions Unresolved cited work

Reference 5

Resolution: verified exact; doi, observed 2026-08-01T23:39:22.944262Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8201261a-e0ec-4a90-8ee0-4a67d47f52ea · outbound

This paper cites Summers, and Peter Müller.

Gradually Verifying Unfolding Expressions & Pure Functions Summers, and Peter Müller

Reference 6

Resolution: verified exact; doi, observed 2026-08-01T23:39:22.789113Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 35fc0dff-62f2-44ca-9add-0b8eec3f16e3 · outbound

This paper cites an unresolved cited work.

Gradually Verifying Unfolding Expressions & Pure Functions Unresolved cited work

Reference 7

Resolution: verified exact; doi, observed 2026-08-01T23:39:22.637978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8e76b7c1-9c84-4e45-97b3-3e0921ee6953 · outbound

This paper cites an unresolved cited work.

Gradually Verifying Unfolding Expressions & Pure Functions Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:10.240620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 733d05d3-33b9-43ad-9026-2da38c4639f7 · outbound

This paper cites Clark, and Éric Tanter.

Gradually Verifying Unfolding Expressions & Pure Functions Clark, and Éric Tanter

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:10.309583Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e521a835-1f42-475e-9269-ee8c3486e12f · outbound

This paper cites Increasing the Expressiveness of a Gradual Verifier.

Gradually Verifying Unfolding Expressions & Pure Functions Increasing the Expressiveness of a Gradual Verifier

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:10.386220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d59b2c6-f863-46f9-b711-d87f1e996d30 · outbound

This paper cites an unresolved cited work.

Gradually Verifying Unfolding Expressions & Pure Functions Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:10.466324Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d5b0b7d-ac1d-4640-b13e-bbf8d5635d4c · outbound

This paper cites 2023.Verifying Go’s Standard Library.

Gradually Verifying Unfolding Expressions & Pure Functions 2023.Verifying Go’s Standard Library

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:10.547817Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3ec126d-41f2-406f-9f82-7ddeacbce5da · outbound

This paper cites an unresolved cited work.

Gradually Verifying Unfolding Expressions & Pure Functions Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:10.608326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1dedc590-917b-438d-b7b4-b4a0d6ddcb69 · outbound

This paper cites 2025.Verifying Parts of the Go Standard Library.

Gradually Verifying Unfolding Expressions & Pure Functions 2025.Verifying Parts of the Go Standard Library

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:10.617154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f525d36-c0ff-4cf6-b7ee-725acdc5dee5 · outbound

This paper cites Rustan M.

Gradually Verifying Unfolding Expressions & Pure Functions Rustan M

Reference 15

Resolution: verified exact; doi, observed 2026-08-01T23:39:22.376929Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a05e9dce-dd54-482a-97b0-ee843c1f1487 · outbound

This paper cites an unresolved cited work.

Gradually Verifying Unfolding Expressions & Pure Functions Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:11.028780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 828f3280-cd4c-4bd9-84be-44f8a754e085 · outbound

This paper cites an unresolved cited work.

Gradually Verifying Unfolding Expressions & Pure Functions Unresolved cited work

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-08-01T23:39:22.032131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d7710669-865b-4231-aa85-89b4ea53057e · outbound

This paper cites an unresolved cited work.

Gradually Verifying Unfolding Expressions & Pure Functions Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:11.394531Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78ec64ad-cd81-42ac-a638-a491451ac249 · outbound

This paper cites an unresolved cited work.

Gradually Verifying Unfolding Expressions & Pure Functions Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:11.497999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 08af4f97-aeb7-4015-8627-de3b0f4d0d2f · outbound

This paper cites Protocols to Code: Formal Verification of a Next-Generation Internet Router.

Gradually Verifying Unfolding Expressions & Pure Functions Protocols to Code: Formal Verification of a Next-Generation Internet Router

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:11.666596Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0569e913-bb43-49a7-b58c-3a81c16dcbb1 · outbound

This paper cites 2024.Verifying Kotlin Code with Viper by Controlling Aliasing.

Gradually Verifying Unfolding Expressions & Pure Functions 2024.Verifying Kotlin Code with Viper by Controlling Aliasing

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:11.754599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 551ce371-0d37-46a6-92cb-14f08a4f0f5b · outbound

This paper cites Reynolds.

Gradually Verifying Unfolding Expressions & Pure Functions Reynolds

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:11.898612Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97cfe0d6-35ce-4193-a744-21b68df2d24f · outbound

This paper cites 2016.Advancing Automated, Permission-based Program Verification Using Symbolic Execution.

Gradually Verifying Unfolding Expressions & Pure Functions 2016.Advancing Automated, Permission-based Program Verification Using Symbolic Execution

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:12.077752Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0fcc6294-be74-4849-a27c-f83c9f339766 · outbound

This paper cites Siek and Walid Taha.

Gradually Verifying Unfolding Expressions & Pure Functions Siek and Walid Taha

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:12.180743Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fb45039-cdb3-44f2-b34b-a08fd8e331b3 · outbound

This paper cites an unresolved cited work.

Gradually Verifying Unfolding Expressions & Pure Functions Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:12.444606Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fc5c75a-7d89-4675-9060-7543bd21f119 · outbound

This paper cites Summers and Sophia Drossopoulou.

Gradually Verifying Unfolding Expressions & Pure Functions Summers and Sophia Drossopoulou

Reference 28

Resolution: malformed identifier; no resolver link, observed 2026-08-01T23:38:12.656563Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a773d6d-d066-403b-8b90-9723baa96e41 · outbound

This paper cites an unresolved cited work.

Gradually Verifying Unfolding Expressions & Pure Functions Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-08-01T23:39:21.679563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 58b41166-e5d0-4938-8e59-e7703cdf382d · outbound

This paper cites Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João C.

Gradually Verifying Unfolding Expressions & Pure Functions Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João C

Reference 30

Resolution: malformed identifier; no resolver link, observed 2026-08-01T23:38:13.021232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cea34b4f-d9fc-4e26-9a65-5a5337f62d37 · outbound

This paper cites Wright and Matthias Felleisen.

Gradually Verifying Unfolding Expressions & Pure Functions Wright and Matthias Felleisen

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:13.187819Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ca9d90a-8327-4e59-84c8-78e7b7d79ee0 · outbound

This paper cites an unresolved cited work.

Gradually Verifying Unfolding Expressions & Pure Functions Unresolved cited work

Reference 32

Resolution: verified exact; doi, observed 2026-08-01T23:39:21.390300Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation a7150206-bdf2-417a-9ec4-76bb5475114d · outbound

This paper cites Sound Gradual Verification with Symbolic Execution.

Gradually Verifying Unfolding Expressions & Pure Functions Sound Gradual Verification with Symbolic Execution

Reference 33

Resolution: malformed identifier; no resolver link, observed 2026-08-01T23:38:13.540536Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 521a59ba-1590-4ba4-ad92-34662f2d86d3 · outbound

This paper cites Part 34.2:We want to show thatΓ ′ corresponds toΣ′ 0.

Gradually Verifying Unfolding Expressions & Pure Functions Part 34.2:We want to show thatΓ ′ corresponds toΣ′ 0

Reference 34

Resolution: malformed identifier; no resolver link, observed 2026-08-01T23:38:13.681511Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 511d6b4e-9c4f-4fc8-b2f3-934b01f81ac7 · outbound

This paper cites Therefore𝑉′′ 0(𝑔(𝜎′ 0)&&𝑡 0)=𝑉 ′(𝑔(𝜎′ 0))∧𝑉 ′(𝑡′ 0)=true.

Gradually Verifying Unfolding Expressions & Pure Functions Therefore𝑉′′ 0(𝑔(𝜎′ 0)&&𝑡 0)=𝑉 ′(𝑔(𝜎′ 0))∧𝑉 ′(𝑡′ 0)=true

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:13.785984Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57c1b5ed-f1dc-4777-9693-b9e42d2e2111 · outbound

This paper cites Part 34.2:Since ⟨𝐻, 𝛼′, 𝜌′⟩⊨ ˜𝜙, by lemma 4 T ˜𝜙U⟨𝐻,𝜌′⟩⊆𝛼′.

Gradually Verifying Unfolding Expressions & Pure Functions Part 34.2:Since ⟨𝐻, 𝛼′, 𝜌′⟩⊨ ˜𝜙, by lemma 4 T ˜𝜙U⟨𝐻,𝜌′⟩⊆𝛼′

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T23:38:13.919765Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.