Paper Citation Record · LEDGER

Polyvariant Program Specialisation with Property-based Abstraction

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

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

pith.paper-citation-record.v1
1908.07189 v1

Coverage vector

measured 27 of 27 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T12:30:36.646578Z

measured 27 of 27 standing notices

One-hop event checks from named stored sources.

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

27 of 27 outbound references displayed

verified exact11
verified fuzzy4
unresolved10
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1357018f-be66-488e-a8c0-4de78179674a · outbound

This paper cites an unresolved cited work.

Polyvariant Program Specialisation with Property-based Abstraction Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-14T12:30:36.570208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa2938a0-99fe-4d5d-943f-d65b6bd9ddd9 · outbound

This paper cites Benkerimi & J.

Polyvariant Program Specialisation with Property-based Abstraction Benkerimi & J

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:30:37.148001Z

Source-reported events for the cited work

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

Observation ee039680-02c9-4dbe-8a72-c2101c45ef51 · outbound

This paper cites Bjørner, A.

Polyvariant Program Specialisation with Property-based Abstraction Bjørner, A

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-14T12:30:36.578608Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4e07c6c-7e83-47ae-bb64-5e82d3fb7990 · outbound

This paper cites Cousot & R.

Polyvariant Program Specialisation with Property-based Abstraction Cousot & R

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-14T12:30:36.581625Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 752a1a01-9bc4-49e9-b36a-00b050556361 · outbound

This paper cites Cousot & R.

Polyvariant Program Specialisation with Property-based Abstraction Cousot & R

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-14T12:30:36.584742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a073c777-2d88-4cf1-add8-c707d57035d6 · outbound

This paper cites De Angelis, F.

Polyvariant Program Specialisation with Property-based Abstraction De Angelis, F

Reference 6

Resolution: verified exact; doi, observed 2026-08-14T12:30:36.773202Z

Source-reported events for the cited work

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

Observation 6d413fdc-a535-4268-a6f8-6efd6b8398c7 · outbound

This paper cites De Angelis, F.

Polyvariant Program Specialisation with Property-based Abstraction De Angelis, F

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-14T12:30:36.591311Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9316bb39-1424-4ed1-acc1-2b04fa63297c · outbound

This paper cites De Angelis, F.

Polyvariant Program Specialisation with Property-based Abstraction De Angelis, F

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-14T12:30:36.593969Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19df4b28-e66f-4c9f-afcf-59e8c553d934 · outbound

This paper cites Dom ´enech, S.

Polyvariant Program Specialisation with Property-based Abstraction Dom ´enech, S

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:30:37.139043Z

Source-reported events for the cited work

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

Observation aa1cfd2a-56ba-4dc4-bd92-45c0531c70f5 · outbound

This paper cites Etalle & M.

Polyvariant Program Specialisation with Property-based Abstraction Etalle & M

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-14T12:30:36.599609Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d62617c-19f8-4751-be70-f39b605f8c31 · outbound

This paper cites Fioravanti, A.

Polyvariant Program Specialisation with Property-based Abstraction Fioravanti, A

Reference 11

Resolution: verified exact; doi, observed 2026-08-14T12:30:36.752676Z

Source-reported events for the cited work

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

Observation b15d5f6f-1fa9-4c70-a975-eb97309945cc · outbound

This paper cites an unresolved cited work.

Polyvariant Program Specialisation with Property-based Abstraction Unresolved cited work

Reference 12

Resolution: metadata mismatch; raw_fallback, observed 2026-08-14T12:30:37.066053Z

Source-reported events for the cited work

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

Observation 34b77be6-5ed4-4a12-9b1f-c2ea019f1eb2 · outbound

This paper cites an unresolved cited work.

Polyvariant Program Specialisation with Property-based Abstraction Unresolved cited work

Reference 14

Resolution: verified exact; doi, observed 2026-08-14T12:30:36.736292Z

Source-reported events for the cited work

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

Observation b2fd9e63-c436-490d-b103-72ab3f9cbe98 · outbound

This paper cites Grebenshchikov, N.

Polyvariant Program Specialisation with Property-based Abstraction Grebenshchikov, N

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-14T12:30:36.612777Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e4a3f14d-ade2-46f2-a092-103eb4f0c0a2 · outbound

This paper cites Gulwani, S.

Polyvariant Program Specialisation with Property-based Abstraction Gulwani, S

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-14T12:30:36.615256Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 383ec040-4dd8-47cb-ab41-32a5b73030dd · outbound

This paper cites an unresolved cited work.

Polyvariant Program Specialisation with Property-based Abstraction Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-14T12:30:36.617692Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebb9f0be-bc01-49a7-ab4b-776860f02999 · outbound

This paper cites an unresolved cited work.

Polyvariant Program Specialisation with Property-based Abstraction Unresolved cited work

Reference 18

Resolution: verified exact; doi, observed 2026-08-14T12:30:36.722868Z

Source-reported events for the cited work

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

Observation 7b5cbf42-1c7d-4562-8c47-70a0477c8fd4 · outbound

This paper cites an unresolved cited work.

Polyvariant Program Specialisation with Property-based Abstraction Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-14T12:30:36.714799Z

Source-reported events for the cited work

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

Observation 370ffd69-75ed-46cf-a646-2553b39841e0 · outbound

This paper cites Leuschel & B.

Polyvariant Program Specialisation with Property-based Abstraction Leuschel & B

Reference 20

Resolution: verified exact; doi, observed 2026-08-14T12:30:36.744208Z

Source-reported events for the cited work

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

Observation 91ebf209-3b80-4953-ac4e-ed523eed958d · outbound

This paper cites Leuschel & T.

Polyvariant Program Specialisation with Property-based Abstraction Leuschel & T

Reference 21

Resolution: verified exact; doi, observed 2026-08-14T12:30:36.707111Z

Source-reported events for the cited work

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

Observation 254fd21d-0213-4616-95a4-1dbe87815c21 · outbound

This paper cites Lloyd & J.

Polyvariant Program Specialisation with Property-based Abstraction Lloyd & J

Reference 22

Resolution: verified exact; doi, observed 2026-08-14T12:30:36.698992Z

Source-reported events for the cited work

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

Observation a52d9875-aa97-471d-b700-aa83c02ded42 · outbound

This paper cites Martens & J.

Polyvariant Program Specialisation with Property-based Abstraction Martens & J

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:30:37.130655Z

Source-reported events for the cited work

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

Observation 40291cf0-0372-40ee-bcb2-624d2ede8407 · outbound

This paper cites Pettorossi & M.

Polyvariant Program Specialisation with Property-based Abstraction Pettorossi & M

Reference 24

Resolution: verified exact; doi, observed 2026-08-14T12:30:36.691053Z

Source-reported events for the cited work

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

Observation 96f1892c-3aba-406f-8267-cc4260476a18 · outbound

This paper cites Sahlin (1993): Mixtus: An Automatic Partial Avaluator for Full Prolog.

Polyvariant Program Specialisation with Property-based Abstraction Sahlin (1993): Mixtus: An Automatic Partial Avaluator for Full Prolog

Reference 25

Resolution: verified exact; doi, observed 2026-08-14T12:30:36.683169Z

Source-reported events for the cited work

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

Observation c874261c-9f24-4442-8663-36072aabb7a7 · outbound

This paper cites Sharma, I.

Polyvariant Program Specialisation with Property-based Abstraction Sharma, I

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-14T12:30:36.641035Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25ada865-276d-4311-ac9b-d58305549e80 · outbound

This paper cites Turchin (1988): The Algorithm of generalization in the supercompiler.

Polyvariant Program Specialisation with Property-based Abstraction Turchin (1988): The Algorithm of generalization in the supercompiler

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:30:37.122919Z

Source-reported events for the cited work

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

Observation 1881d7c0-06fa-453b-a68e-4609c42dfc55 · outbound

This paper cites de Waal & J.

Polyvariant Program Specialisation with Property-based Abstraction de Waal & J

Reference 28

Resolution: verified exact; doi, observed 2026-08-14T12:30:36.669115Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.