Paper Citation Record · LEDGER

An Execution Model for RICE

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

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

pith.paper-citation-record.v1
2506.05839 v1

Coverage vector

measured 28 of 28 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T10:19:41.044208Z

measured 28 of 28 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

28 of 28 outbound references displayed

verified exact15
verified fuzzy4
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch4

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2fd1f3a5-19b2-4fd2-a770-cd0a8d99f927 · outbound

This paper cites Albert, M.

An Execution Model for RICE Albert, M

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:19:45.237506Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4f4fc259-5ac6-4d2c-903b-9adc76198c5f · outbound

This paper cites Albert, M.

An Execution Model for RICE Albert, M

Reference 2

Resolution: verified exact; doi, observed 2026-08-07T10:19:42.927684Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 01e6c3d5-f817-4cc3-aaac-82d6866bcd96 · outbound

This paper cites Antoy (1992): Deﬁnitional Trees.

An Execution Model for RICE Antoy (1992): Deﬁnitional Trees

Reference 3

Resolution: verified exact; doi, observed 2026-08-07T10:19:42.700894Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d73c0958-5dac-4f54-999b-4a67c58c6046 · outbound

This paper cites Antoy (1997): Optimal Non-deterministic Functional Logic Computations.

An Execution Model for RICE Antoy (1997): Optimal Non-deterministic Functional Logic Computations

Reference 4

Resolution: verified exact; doi, observed 2026-08-07T10:19:42.513909Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation cf6868c4-4d5e-4f53-b45b-6f151327d940 · outbound

This paper cites Antoy, R.

An Execution Model for RICE Antoy, R

Reference 5

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:19:44.221211Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8c616908-6f3f-463c-be34-4851025278fa · outbound

This paper cites Antoy, M.

An Execution Model for RICE Antoy, M

Reference 6

Resolution: verified exact; doi, observed 2026-08-07T10:19:42.384189Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 542ff2b6-e1dd-4b27-9505-41c40e49976a · outbound

This paper cites Antoy & A.

An Execution Model for RICE Antoy & A

Reference 7

Resolution: verified exact; doi, observed 2026-08-07T10:19:42.234292Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 21af8e08-7b12-48d7-ba80-42ff8a60ecb0 · outbound

This paper cites an unresolved cited work.

An Execution Model for RICE Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:19:45.073983Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a607690b-2195-4d7d-94e5-1fa98a99c7ad · outbound

This paper cites Augustsson, J.

An Execution Model for RICE Augustsson, J

Reference 9

Resolution: verified exact; doi, observed 2026-08-07T10:19:42.100984Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 716051a1-f0ad-47db-ae67-9aee41ca824b · outbound

This paper cites an unresolved cited work.

An Execution Model for RICE Unresolved cited work

Reference 10

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:19:43.939110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0e1d9220-b998-4a47-8bd0-08197259b2bb · outbound

This paper cites Braßel (2010): Implementing Functional Logic Programs by Translation int o Purely Functional Programs.

An Execution Model for RICE Braßel (2010): Implementing Functional Logic Programs by Translation int o Purely Functional Programs

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:19:44.972798Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation dfd8a91a-64f4-4bfb-bfb8-21c6133a1d5e · outbound

This paper cites Braßel, M.

An Execution Model for RICE Braßel, M

Reference 12

Resolution: verified exact; doi, observed 2026-08-07T10:19:41.961988Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c8d90ff2-5a68-4066-962f-5f17fdb8eaeb · outbound

This paper cites Echahed & J.

An Execution Model for RICE Echahed & J

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:19:44.806356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0277daaf-dfed-4f79-9bda-3cb2a0c3be87 · outbound

This paper cites Hanus (ed.) (March 04, 2017): PAKCS 1.14.3: The Portland Aachen Kiel Curry System.

An Execution Model for RICE Hanus (ed.) (March 04, 2017): PAKCS 1.14.3: The Portland Aachen Kiel Curry System

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:19:44.551562Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 38dc590c-ab4f-4e27-a623-f0d385207bbc · outbound

This paper cites Flanagan, A.

An Execution Model for RICE Flanagan, A

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T10:19:40.326528Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bedb0241-d811-4e13-a942-d0ef07f10f5e · outbound

This paper cites Hanus (2013): Functional Logic Programming: From Theory to Curry , pp.

An Execution Model for RICE Hanus (2013): Functional Logic Programming: From Theory to Curry , pp

Reference 16

Resolution: verified exact; doi, observed 2026-08-07T10:19:41.853644Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 43b60504-10a4-4926-aebe-89739c3d6687 · outbound

This paper cites Hußmann (1988): Nondeterministic Algebraic Speciﬁcations and Nonconﬂuen t T erm Rewriting.

An Execution Model for RICE Hußmann (1988): Nondeterministic Algebraic Speciﬁcations and Nonconﬂuen t T erm Rewriting

Reference 17

Resolution: verified exact; doi, observed 2026-08-07T10:19:41.784407Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation cdbeb3fa-883b-46fd-ae1a-33999f1a5916 · outbound

This paper cites Johnsson (1985): Lambda Lifting: Treansforming Programs to Recursive Equat ions.

An Execution Model for RICE Johnsson (1985): Lambda Lifting: Treansforming Programs to Recursive Equat ions

Reference 18

Resolution: verified exact; doi, observed 2026-08-07T10:19:41.667554Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e2f5fd59-783a-4216-9143-58fc05ed5a14 · outbound

This paper cites an unresolved cited work.

An Execution Model for RICE Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:19:44.401501Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7dc300a7-9599-462a-a57a-a6f5f7208442 · outbound

This paper cites an unresolved cited work.

An Execution Model for RICE Unresolved cited work

Reference 20

Resolution: verified exact; raw_fallback, observed 2026-08-07T10:19:43.661689Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 07b2c86c-6a97-4571-9ae7-04c20f4bcacf · outbound

This paper cites Launchbury (1993): A Natural Semantics for Lazy Evaluation.

An Execution Model for RICE Launchbury (1993): A Natural Semantics for Lazy Evaluation

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T10:19:40.676286Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 519e975a-b514-4313-afaf-0c462cb6fbd9 · outbound

This paper cites Libby (2023): RICE: An Optimizing Curry Compiler.

An Execution Model for RICE Libby (2023): RICE: An Optimizing Curry Compiler

Reference 22

Resolution: verified exact; doi, observed 2026-08-07T10:19:41.491258Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 22835277-b43d-48d2-92dd-5351087f645a · outbound

This paper cites Libby (June 21, 2022): Making Curry with Rice: An Optimizing Curry Compiler.

An Execution Model for RICE Libby (June 21, 2022): Making Curry with Rice: An Optimizing Curry Compiler

Reference 23

Resolution: verified exact; doi, observed 2026-08-07T10:19:41.411594Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation cf779d44-5aba-4430-86a8-e003c478bf86 · outbound

This paper cites an unresolved cited work.

An Execution Model for RICE Unresolved cited work

Reference 24

Resolution: verified exact; doi, observed 2026-08-07T10:19:41.326908Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 77504579-e23f-4bc4-822f-97e26726328e · outbound

This paper cites Marlow & S.

An Execution Model for RICE Marlow & S

Reference 25

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:19:43.395509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1fdc8a7c-8eec-4ac4-a7e3-3f1eec6f7fde · outbound

This paper cites Mayr & T.

An Execution Model for RICE Mayr & T

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T10:19:40.965838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01228aad-222d-4db4-9325-44df54f19be2 · outbound

This paper cites Mehner, D.

An Execution Model for RICE Mehner, D

Reference 27

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T10:19:43.160297Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 95fc299f-d089-4d7d-9b4c-c58b75ac03ca · outbound

This paper cites an unresolved cited work.

An Execution Model for RICE Unresolved cited work

Reference 28

Resolution: verified exact; doi, observed 2026-08-07T10:19:41.223645Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Pith citing papers

No inbound Pith citation observations are available.