Paper Citation Record · LEDGER

CHC-based Automated Verification of WebAssembly Programs

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

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

pith.paper-citation-record.v1
2607.17220 v1

Coverage vector

measured 19 of 19 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T18:43:58.149593Z

measured 19 of 19 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

19 of 19 outbound references displayed

verified exact6
verified fuzzy0
unresolved12
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c3c91829-b6f5-409c-95fa-a960df1f3fba · outbound

This paper cites an unresolved cited work.

CHC-based Automated Verification of WebAssembly Programs Unresolved cited work

Reference 1

Resolution: verified exact; arxiv_id, observed 2026-08-01T18:49:12.642431Z

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 bddd34b6-efdd-4745-a42f-073e65dff311 · outbound

This paper cites an unresolved cited work.

CHC-based Automated Verification of WebAssembly Programs Unresolved cited work

Reference 2

Resolution: verified exact; doi, observed 2026-08-01T18:49:12.482472Z

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 597015c5-042e-450a-b5d7-edfdfc57bd88 · outbound

This paper cites In:Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday, Springer, pp.

CHC-based Automated Verification of WebAssembly Programs In:Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday, Springer, pp

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T18:43:56.715213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d418936-3929-4700-ad06-1285d3518671 · outbound

This paper cites 1393–1418, doi:10.1007/s10817-020-09571-y.

CHC-based Automated Verification of WebAssembly Programs 1393–1418, doi:10.1007/s10817-020-09571-y

Reference 4

Resolution: verified exact; doi, observed 2026-08-01T18:49:12.331609Z

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 9baceb8d-f148-42f9-80c6-dc7752f7dad1 · outbound

This paper cites WebAssembly Documentation.

CHC-based Automated Verification of WebAssembly Programs WebAssembly Documentation

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T18:43:56.850043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 789feb88-e3a4-4a70-9377-212c46e15e6e · outbound

This paper cites In:International Conference on Computer Aided Verification, Springer, pp.

CHC-based Automated Verification of WebAssembly Programs In:International Conference on Computer Aided Verification, Springer, pp

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T18:43:56.901473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 750333ae-04e2-47c2-ad6e-d7174fe355ce · outbound

This paper cites In: Proceedings of the 38th ACM SIGPLAN conference on programming language design and implementation, pp.

CHC-based Automated Verification of WebAssembly Programs In: Proceedings of the 38th ACM SIGPLAN conference on programming language design and implementation, pp

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T18:43:56.971799Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c000335-4857-457c-a4b4-622f6b8ef1df · outbound

This paper cites In:2018 Formal Methods in Computer Aided Design (FMCAD), IEEE, pp.

CHC-based Automated Verification of WebAssembly Programs In:2018 Formal Methods in Computer Aided Design (FMCAD), IEEE, pp

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T18:43:57.084364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1534e6c-7861-4c6f-aeec-79afb7c5b4c9 · outbound

This paper cites 637–650, doi:10.1145/2775051.2676980.

CHC-based Automated Verification of WebAssembly Programs 637–650, doi:10.1145/2775051.2676980

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T18:43:57.197989Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 171902c1-d1ad-4b67-9f22-afd613d47cdc · outbound

This paper cites In:International Conference on Computer Aided Verification, Springer, pp.

CHC-based Automated Verification of WebAssembly Programs In:International Conference on Computer Aided Verification, Springer, pp

Reference 10

Resolution: verified exact; doi, observed 2026-08-01T18:49:12.110496Z

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 cfce3a19-8c1b-4426-aca3-e5cc8df2a9f4 · outbound

This paper cites 175–205, doi:10.1007/s10703-016-0249-4.

CHC-based Automated Verification of WebAssembly Programs 175–205, doi:10.1007/s10703-016-0249-4

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T18:43:57.291462Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 213109bd-465f-4322-8803-611f7efd98eb · outbound

This paper cites Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows.

CHC-based Automated Verification of WebAssembly Programs Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T18:43:57.356047Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 923040e1-f182-4226-8953-e42e580f5eb5 · outbound

This paper cites 1–54, doi:10.1145/3462205.

CHC-based Automated Verification of WebAssembly Programs 1–54, doi:10.1145/3462205

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T18:43:57.377042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dacedcd2-1349-40ec-bce0-5c89bce6340f · outbound

This paper cites an unresolved cited work.

CHC-based Automated Verification of WebAssembly Programs Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T18:43:57.384663Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76ac5c24-c0f0-424d-a573-b28f4ecaef2e · outbound

This paper cites Master’s thesis, ETSI_Informatica.

CHC-based Automated Verification of WebAssembly Programs Master’s thesis, ETSI_Informatica

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T18:43:57.545012Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3c7a70d-a6eb-4665-9216-f0cfbe8cd8c3 · outbound

This paper cites 1096–1120, doi:10.1145/3591265.

CHC-based Automated Verification of WebAssembly Programs 1096–1120, doi:10.1145/3591265

Reference 16

Resolution: verified exact; doi, observed 2026-08-01T18:49:11.841869Z

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 d66ed0c1-ab30-4922-90a0-20e333c7e6ec · outbound

This paper cites World Wide Web Consortium (W3C).

CHC-based Automated Verification of WebAssembly Programs World Wide Web Consortium (W3C)

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T18:43:57.836303Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1fd3d4c-e213-467c-815a-6cacd1dc2ab7 · outbound

This paper cites an unresolved cited work.

CHC-based Automated Verification of WebAssembly Programs Unresolved cited work

Reference 18

Resolution: malformed identifier; no resolver link, observed 2026-08-01T18:43:57.985683Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cdd04949-9ad2-4e62-802b-3c4234e0177c · outbound

This paper cites In:Proceedings of the 7th ACM SIGPLAN International Conference on certified programs and proofs, pp.

CHC-based Automated Verification of WebAssembly Programs In:Proceedings of the 7th ACM SIGPLAN International Conference on certified programs and proofs, pp

Reference 19

Resolution: verified exact; doi, observed 2026-08-01T18:49:11.643834Z

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.

Pith citing papers

No inbound Pith citation observations are available.