Paper Citation Record · LEDGER

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline

As of 8 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:2506.08396.

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

pith.paper-citation-record.v1
2506.08396 v1

Coverage vector

measured 12 of 12 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T05:19:13.473333Z

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

12 of 12 outbound references displayed

verified exact0
verified fuzzy9
unresolved2
parse uncertain1
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a9ba550b-9ee8-49c6-8be3-cafc67c1401f · outbound

This paper cites AppleScript Language Guide.

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline AppleScript Language Guide

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:19:16.813561Z

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 73865ba6-9528-4934-aa86-ca7a5d897114 · outbound

This paper cites Biermann, Bruce W.

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline Biermann, Bruce W

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:19:16.613860Z

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 1115e104-658c-415f-b0c3-0a1c52378e4c · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline Evaluating Large Language Models Trained on Code

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T05:19:12.607675Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c9b1c3c-f26c-4941-af45-9a0ba93023a2 · outbound

This paper cites COBOL - Initial Specifications for a COmmon Business Oriented Language.

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline COBOL - Initial Specifications for a COmmon Business Oriented Language

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:19:16.416405Z

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 7a83e6d2-f404-445d-9805-e4f0b5292be6 · outbound

This paper cites Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints.

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:19:16.247575Z

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 80c37589-1091-4419-9d12-09c18c265c7c · outbound

This paper cites A theory of type polymorphism in programming.

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline A theory of type polymorphism in programming

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:19:16.056723Z

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 720a0ef2-014f-45b2-8a0c-37517cf20a39 · outbound

This paper cites Natural language, semantic analysis, and interactive fiction.

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline Natural language, semantic analysis, and interactive fiction

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:19:15.880899Z

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 6f169ee5-d4d8-4ca1-9b58-bd33247df160 · outbound

This paper cites Naturaljava: a natu- ral language interface for programming in java.

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline Naturaljava: a natu- ral language interface for programming in java

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:19:15.439725Z

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 50998b98-9ba3-471d-a3cb-13bc6624f16b · outbound

This paper cites Proebsting and Benjamin G.

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline Proebsting and Benjamin G

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:19:14.275623Z

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 92cb432f-99c1-4bec-adcd-5dd615b14e5f · outbound

This paper cites an unresolved cited work.

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:19:13.808435Z

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 fbd29926-1a95-4c62-8786-52025d71c443 · outbound

This paper cites Learn AppleScript: The Comprehensive Guide to Scripting and Automation on Mac OS X.

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline Learn AppleScript: The Comprehensive Guide to Scripting and Automation on Mac OS X

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:19:13.630832Z

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 e499b4e9-371c-4b2d-94ea-a0586248a619 · outbound

This paper cites an unresolved cited work.

Linguine: A Natural-Language Programming Language with Formal Semantics and a Clean Compiler Pipeline Unresolved cited work

Reference 2000

Resolution: parse uncertain; raw_fallback, observed 2026-08-07T05:19:14.001681Z

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.

Pith citing papers

No inbound Pith citation observations are available.