Paper Citation Record · LEDGER

Checkification: A Practical Approach for Testing Static Analysis Truths

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

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

pith.paper-citation-record.v1
2501.12093 v3

Coverage vector

measured 16 of 16 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T17:34:59.387635Z

measured 16 of 16 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

16 of 16 outbound references displayed

verified exact1
verified fuzzy10
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 223214d0-ec4c-43ff-8308-73f4bd58a1b7 · outbound

This paper cites an unresolved cited work.

Checkification: A Practical Approach for Testing Static Analysis Truths Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-10T17:34:59.670699Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation df585909-dda0-4d56-82da-e817fec0ebe9 · outbound

This paper cites American Journal of Computational Linguistics , 8, 3-4, 110–122.

Checkification: A Practical Approach for Testing Static Analysis Truths American Journal of Computational Linguistics , 8, 3-4, 110–122

Reference 1982

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:34:59.449184Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 37868a35-dc27-4b74-b45a-6c8371661766 · outbound

This paper cites an unresolved cited work.

Checkification: A Practical Approach for Testing Static Analysis Truths Unresolved cited work

Reference 1991

Resolution: unresolved; raw_fallback, observed 2026-08-10T17:34:59.499122Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 50877d29-c6dc-480f-8549-2f20982d4136 · outbound

This paper cites Journal of Logic Programming , 13, 2/3, 315–347.

Checkification: A Practical Approach for Testing Static Analysis Truths Journal of Logic Programming , 13, 2/3, 315–347

Reference 1992

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:34:59.483002Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e6899b6e-dde2-4853-ad16-2932cfc0b306 · outbound

This paper cites ACM Transactions on Programming Languages and Systems , 18, 5, 564–615.

Checkification: A Practical Approach for Testing Static Analysis Truths ACM Transactions on Programming Languages and Systems , 18, 5, 564–615

Reference 1996

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:34:59.594378Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 25ee98d0-5f7c-486b-9378-88b6df97ea81 · outbound

This paper cites The Ciao System Documentation Ser ies–TR CLIP5/97.3, Facultad de Informática, UPM.

Checkification: A Practical Approach for Testing Static Analysis Truths The Ciao System Documentation Ser ies–TR CLIP5/97.3, Facultad de Informática, UPM

Reference 1997

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:34:59.563531Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6ec237d2-ec72-4882-893d-7955a091d077 · outbound

This paper cites ACM Transactions on Programming Languages and Systems, 22, 2, 187–223.

Checkification: A Practical Approach for Testing Static Analysis Truths ACM Transactions on Programming Languages and Systems, 22, 2, 187–223

Reference 2000

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:34:59.547743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 892f29d7-a6a1-4077-97bf-d71984629e96 · outbound

This paper cites SIGPLAN Not.

Checkification: A Practical Approach for Testing Static Analysis Truths SIGPLAN Not

Reference 2002

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:34:59.465635Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation efb5e5b9-24fd-4b48-b431-572872a055c5 · outbound

This paper cites Lecture Notes in Computer Science , 3444, 21–30.

Checkification: A Practical Approach for Testing Static Analysis Truths Lecture Notes in Computer Science , 3444, 21–30

Reference 2005

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:34:59.624746Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 10e140ae-e8a1-44a1-b9c6-60edeaf9111b · outbound

This paper cites Technical Report CLIP2/06, Technical University of Madrid (UPM), Facultad d e Informática, 28660 Boadilla del Monte, Madrid, Spain.

Checkification: A Practical Approach for Testing Static Analysis Truths Technical Report CLIP2/06, Technical University of Madrid (UPM), Facultad d e Informática, 28660 Boadilla del Monte, Madrid, Spain

Reference 2006

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:34:59.640252Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e14d6832-34e4-4c17-ada4-feb8e112efab · outbound

This paper cites New Generation Computing , 28, 2, 117–206.

Checkification: A Practical Approach for Testing Static Analysis Truths New Generation Computing , 28, 2, 117–206

Reference 2010

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:34:59.515492Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 92727b9d-a9c9-4dcf-992a-59ebd3d50ab5 · outbound

This paper cites Practical Run-time Checking via Unobtrusive Property Caching.

Checkification: A Practical Approach for Testing Static Analysis Truths Practical Run-time Checking via Unobtrusive Property Caching

Reference 2015

Resolution: verified exact; local_arxiv, observed 2026-08-10T17:34:59.432276Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0fc6a340-042b-4eb6-ae3d-f59f68a78e12 · outbound

This paper cites an unresolved cited work.

Checkification: A Practical Approach for Testing Static Analysis Truths Unresolved cited work

Reference 2017

Resolution: unresolved; raw_fallback, observed 2026-08-10T17:34:59.532519Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4192f2e2-deb3-4291-afa2-66f1b5a9c78a · outbound

This paper cites Theory and Practice of Logic Programming, 18, 3-4, 337–354.

Checkification: A Practical Approach for Testing Static Analysis Truths Theory and Practice of Logic Programming, 18, 3-4, 337–354

Reference 2018

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T17:34:59.655724Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b13cc8b3-434d-49d4-b1b9-ed146fa331f3 · outbound

This paper cites an unresolved cited work.

Checkification: A Practical Approach for Testing Static Analysis Truths Unresolved cited work

Reference 2023

Resolution: unresolved; raw_fallback, observed 2026-08-10T17:34:59.609664Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 65580467-6b3a-43a5-af76-9895f79026de · outbound

This paper cites an unresolved cited work.

Checkification: A Practical Approach for Testing Static Analysis Truths Unresolved cited work

Reference 2024

Resolution: unresolved; raw_fallback, observed 2026-08-10T17:34:59.579086Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

No inbound Pith citation observations are available.