Paper Citation Record · LEDGER

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification

As of 7 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2608.00639.

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

pith.paper-citation-record.v1
2608.00639 v1

Coverage vector

measured 47 of 47 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T01:35:36.630685Z

measured 47 of 47 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+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

47 of 47 outbound references displayed

verified exact4
verified fuzzy0
unresolved41
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 237b0580-ad15-4bd7-9f33-6dbaaa8acbd0 · outbound

This paper cites https://github.com/es-meta/esmeta.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification https://github.com/es-meta/esmeta

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:31.385312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a14b2ef-9e78-417f-851b-9fcd3d88aad7 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:31.437959Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81201dc8-4515-4d4c-88a9-2437e89e8030 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 3

Resolution: verified exact; doi, observed 2026-08-04T01:38:27.897062Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 19c2db98-12a8-4c4b-97ab-454d8f862de5 · outbound

This paper cites 2024.P4-SpecTec – Mechanized Language Definition for P4.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification 2024.P4-SpecTec – Mechanized Language Definition for P4

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:31.586954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ec02c70-e9cb-41c2-93a6-50a492714ac5 · outbound

This paper cites Gray, Robert M.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Gray, Robert M

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:31.639839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9af45e8-a2c1-4a1f-949d-808e251235b2 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:31.747041Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aefd49d9-1d54-4889-a09d-678cc357b902 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:31.829492Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efb1e4f9-9283-42bb-979e-5ae510f43734 · outbound

This paper cites Borras, D.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Borras, D

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:31.882473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 749cb861-a113-4ab1-b890-11f55141747d · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:31.965447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed9900ea-6c40-4e81-84da-7d714994c4c0 · outbound

This paper cites Cerna and Temur Kutsia.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Cerna and Temur Kutsia

Reference 10

Resolution: verified exact; doi, observed 2026-08-04T01:38:27.743412Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 039e1ebe-a62c-4e8c-8c42-f384eff09a53 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:32.092002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b44f92d1-23d9-41ca-b247-51ec93622e7c · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 12

Resolution: verified exact; doi, observed 2026-08-04T01:38:27.562627Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 77c4151f-b6f0-42bd-9061-583b7a930b29 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:32.319599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50e999f2-7699-488b-8cf9-97d57442d443 · outbound

This paper cites 2025.ECMA-262, 16th edition, ECMAScript®2025 Language Specification.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification 2025.ECMA-262, 16th edition, ECMAScript®2025 Language Specification

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:32.441748Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 663e73ee-323b-4323-9e62-16757c203c3f · outbound

This paper cites 2026.WebAssembly Specification (Release 3.0).

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification 2026.WebAssembly Specification (Release 3.0)

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:32.547857Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dcec3908-deb4-41a4-8e20-d01157630ad5 · outbound

This paper cites 2009.Semantics Engineering with PLT Redex(1st ed.).

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification 2009.Semantics Engineering with PLT Redex(1st ed.)

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:32.661040Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7089d4f8-c592-4aad-81a8-fc8d2e6b3877 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:32.734079Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4701c58f-443e-4918-9974-017d8932a5e9 · outbound

This paper cites P4K: A Formal Semantics of P4 and Applications.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification P4K: A Formal Semantics of P4 and Applications

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:32.852345Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6cbd10dd-5b0f-4bf8-b86e-ce88a2aa7aa8 · outbound

This paper cites 2026.P4 formalization using Ott and HOL4.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification 2026.P4 formalization using Ott and HOL4

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:32.954437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 471bcfe5-35e7-49e5-bc14-b7f999167d89 · outbound

This paper cites 1997.The Definition of Standard ML (Revised).

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification 1997.The Definition of Standard ML (Revised)

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:33.049780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54a293d7-7bb7-48d4-b3fb-2407c49d011a · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:33.158820Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d70381a-e406-475e-9018-a5dbc7ef5c5b · outbound

This paper cites 2026.DOCA Documentation v2.10.0.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification 2026.DOCA Documentation v2.10.0

Reference 23

Resolution: malformed identifier; no resolver link, observed 2026-08-04T01:35:33.227078Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9d0275a-4e6b-4985-921f-951c2dbef64f · outbound

This paper cites 2024.P4 Language Specification, Version 1.2.5.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification 2024.P4 Language Specification, Version 1.2.5

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:33.343372Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b33ad5d0-4e71-4527-a3bb-7b2367840b67 · outbound

This paper cites 2026.P4 Governance.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification 2026.P4 Governance

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:33.481641Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc4edf52-f560-48ed-bd4a-94a6ede98b13 · outbound

This paper cites 2026.P4 Working Groups.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification 2026.P4 Working Groups

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:33.627847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d4abfd8-5397-4817-94b9-14f4aef1d278 · outbound

This paper cites 2026.P4_16 reference compiler.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification 2026.P4_16 reference compiler

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:33.748090Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 563650c8-e8b5-44fa-9e01-dce1f2b4f862 · outbound

This paper cites 2026.P4 Language Design Working Group Notes.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification 2026.P4 Language Design Working Group Notes

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:33.830065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c8eb53b-1e4d-43bc-ae7e-179ed2fa4c41 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:33.890378Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7bb199c-483b-48a4-bb3a-cac17eb66d9a · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:34.051342Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 101bcaba-e86f-4e9a-947e-18d9930be7fb · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:34.251175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 742b8ed4-12bf-45a6-8b5c-c24547f6b0c0 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:34.406473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c279eef8-6cb0-49c0-b8b0-a193faaaf75a · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:34.589851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8dfef44d-fcf6-491f-bb77-8057735e5af8 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:34.756353Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c81d709a-ef73-4423-a531-30771d58c24b · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:34.944862Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9d199f8-d195-4c9d-9e24-08e4bc656df9 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:35.064738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1316b49-c1dc-461a-ab2d-ee8a8cc1278a · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:35.185573Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e847552-6b13-402f-90ed-d50345e0f721 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:35.314265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9af534d4-6c9a-4994-b084-09e7656a5ffd · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 39

Resolution: verified exact; doi, observed 2026-08-04T01:38:27.373432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d564303a-51d1-44a9-8413-254cfc257389 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:35.538607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf2ae109-4b61-4d22-b264-06c8f4084e53 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:35.848291Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 586b64b3-14c7-420a-9581-7e56c64389d8 · outbound

This paper cites 2026.Petr4: Formal Semantics for P4.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification 2026.Petr4: Formal Semantics for P4

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:36.031334Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ab3a3fa-6a7e-401e-b545-33cd65226b18 · outbound

This paper cites 2025.frontend: Fix SpecializeGenericTypes.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification 2025.frontend: Fix SpecializeGenericTypes

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:36.193774Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b8ce3ed-582e-4919-8e9e-6bd544641ddb · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:36.319062Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d10a49e-9f29-42f5-b8ed-4aba820c1299 · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:36.505730Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58e06f24-8155-4eda-88de-0a16491f07ca · outbound

This paper cites an unresolved cited work.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Unresolved cited work

Reference 46

Resolution: malformed identifier; no resolver link, observed 2026-08-04T01:35:36.630685Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ea1d044-123b-49a0-b8d5-1b4e9204beb6 · outbound

This paper cites InProceedings of the 12th ACM SIGPLAN International Conference on Functional Programming(Freiburg, Germany)(ICFP ’07).

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification InProceedings of the 12th ACM SIGPLAN International Conference on Functional Programming(Freiburg, Germany)(ICFP ’07)

Reference 2007

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:35.674042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ede372cb-4329-4867-a8f8-a41ce5d0a23b · outbound

This paper cites ACM Program.

P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification ACM Program

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-04T01:35:31.694081Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.