Paper Citation Record · LEDGER

Automatic Inference of Relational Object Invariants

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

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

pith.paper-citation-record.v1
2411.14735 v1

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:02:49.427022Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

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

29 of 29 outbound references displayed

verified exact9
verified fuzzy4
unresolved5
parse uncertain0
malformed identifier8
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 175ceae4-0566-4a00-b9d0-e58911f33b68 · outbound

This paper cites In: Yi, K.

Automatic Inference of Relational Object Invariants In: Yi, K

Reference 1

Resolution: verified exact; doi, observed 2026-08-12T15:02:49.815284Z

Source-reported events for the cited work

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

Observation 10add0d4-e581-4f53-b37b-404f31b40add · outbound

This paper cites In: Cytron, R., Gupta, R.

Automatic Inference of Relational Object Invariants In: Cytron, R., Gupta, R

Reference 3

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T15:02:50.593813Z

Source-reported events for the cited work

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

Observation 260d47a9-9a8e-4ba7-ab11-1674224aa74f · outbound

This paper cites In: Cortesi, A., Logozzo, F.

Automatic Inference of Relational Object Invariants In: Cortesi, A., Logozzo, F

Reference 4

Resolution: verified exact; doi, observed 2026-08-12T15:02:49.775903Z

Source-reported events for the cited work

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

Observation e08f4788-7399-4290-b3fe-3850e13c1692 · outbound

This paper cites In: Fischer, B.N.

Automatic Inference of Relational Object Invariants In: Fischer, B.N

Reference 5

Resolution: malformed identifier; doi_truncated, observed 2026-08-12T15:02:50.459971Z

Source-reported events for the cited work

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

Observation 7f5c5a2c-a9ef-4026-8a10-b79785ad0e0e · outbound

This paper cites In: Aho, A.V., Zilles, S.N., Rosen, B.K.

Automatic Inference of Relational Object Invariants In: Aho, A.V., Zilles, S.N., Rosen, B.K

Reference 6

Resolution: malformed identifier; doi_truncated, observed 2026-08-12T15:02:50.365608Z

Source-reported events for the cited work

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

Observation 0dca62b1-c468-42c7-b2cc-964f38db42b9 · outbound

This paper cites In: Okada, M., Satoh, I.

Automatic Inference of Relational Object Invariants In: Okada, M., Satoh, I

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T15:02:49.243739Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71eaece3-3e2a-4a68-bc1c-3cf8b6922c62 · outbound

This paper cites In: Hofmann, M.

Automatic Inference of Relational Object Invariants In: Hofmann, M

Reference 8

Resolution: verified exact; doi, observed 2026-08-12T15:02:50.749049Z

Source-reported events for the cited work

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

Observation d94550a7-7ad4-4205-b001-640eab17b81b · outbound

This paper cites In: Biere, A., Bloem, R.

Automatic Inference of Relational Object Invariants In: Biere, A., Bloem, R

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T15:02:49.256963Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 725e7250-1c48-4e86-a1b9-d8c0129e660b · outbound

This paper cites In: Rival, X.

Automatic Inference of Relational Object Invariants In: Rival, X

Reference 10

Resolution: verified exact; doi, observed 2026-08-12T15:02:49.696322Z

Source-reported events for the cited work

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

Observation 486c5e18-172b-414e-ae79-b0adaedcfd2f · outbound

This paper cites an unresolved cited work.

Automatic Inference of Relational Object Invariants Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-12T15:02:50.726366Z

Source-reported events for the cited work

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

Observation c82ab926-70b3-48f0-ba4e-89b886af46d9 · outbound

This paper cites In: Jensen, K., Podelski, A.

Automatic Inference of Relational Object Invariants In: Jensen, K., Podelski, A

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:02:50.704152Z

Source-reported events for the cited work

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

Observation ff1e44e2-4d47-4ac1-952f-76423df8157b · outbound

This paper cites In: Lodaya, K., Mahajan, M.

Automatic Inference of Relational Object Invariants In: Lodaya, K., Mahajan, M

Reference 13

Resolution: verified exact; doi, observed 2026-08-12T15:02:49.650972Z

Source-reported events for the cited work

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

Observation 75f16a82-9b1d-417d-b5f3-2947aa443404 · outbound

This paper cites In: Bloem, R., Dimitrova, R., Fan, C., Sharygina, N.

Automatic Inference of Relational Object Invariants In: Bloem, R., Dimitrova, R., Fan, C., Sharygina, N

Reference 14

Resolution: malformed identifier; no resolver link, observed 2026-08-12T15:02:49.304016Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e25c3a1c-69d7-4142-b02a-750d362f0d1d · outbound

This paper cites In: American Fed- eration of Information Processing Societies: 1982 National Computer Conference, 7-10 June, 1982, Houston, Texas, USA.

Automatic Inference of Relational Object Invariants In: American Fed- eration of Information Processing Societies: 1982 National Computer Conference, 7-10 June, 1982, Houston, Texas, USA

Reference 15

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T15:02:50.277904Z

Source-reported events for the cited work

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

Observation 0a50b16c-2896-4946-a786-95322d9f1cc4 · outbound

This paper cites In: Podelski, A.

Automatic Inference of Relational Object Invariants In: Podelski, A

Reference 16

Resolution: verified exact; doi, observed 2026-08-12T15:02:49.594098Z

Source-reported events for the cited work

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

Observation e7e119aa-09a2-49a8-9328-02624766f6f9 · outbound

This paper cites In: Eiter, T., Sands, D.

Automatic Inference of Relational Object Invariants In: Eiter, T., Sands, D

Reference 17

Resolution: malformed identifier; no resolver link, observed 2026-08-12T15:02:49.331503Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb691281-57ab-4013-97f0-eebebb5078b3 · outbound

This paper cites Acta Informatica 6, 133–151 (1976).

Automatic Inference of Relational Object Invariants Acta Informatica 6, 133–151 (1976)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T15:02:49.347699Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dbf0ebc2-89ca-477b-8efb-f6150e328464 · outbound

This paper cites In: Sarkar, V., Hall, M.W.

Automatic Inference of Relational Object Invariants In: Sarkar, V., Hall, M.W

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T15:02:49.353176Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06218db3-c87b-49d4-b9f7-6ca8f3df9de3 · outbound

This paper cites Prentice-Hall, Inc., USA (1997).

Automatic Inference of Relational Object Invariants Prentice-Hall, Inc., USA (1997)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:02:50.684249Z

Source-reported events for the cited work

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

Observation f4c54ed0-e875-48c8-8350-b38611720532 · outbound

This paper cites In: Danvy, O., Filinski, A.

Automatic Inference of Relational Object Invariants In: Danvy, O., Filinski, A

Reference 21

Resolution: verified exact; doi, observed 2026-08-12T15:02:49.534162Z

Source-reported events for the cited work

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

Observation f71e03ab-02e6-4e21-aa63-14c1569c2506 · outbound

This paper cites In: Burd, E., Aiken, P., Koschke, R.

Automatic Inference of Relational Object Invariants In: Burd, E., Aiken, P., Koschke, R

Reference 22

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T15:02:50.059173Z

Source-reported events for the cited work

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

Observation 62ca9602-5e5a-420d-aff0-09a2711738b6 · outbound

This paper cites In: Sankara- narayanan, S., Sharygina, N.

Automatic Inference of Relational Object Invariants In: Sankara- narayanan, S., Sharygina, N

Reference 23

Resolution: malformed identifier; no resolver link, observed 2026-08-12T15:02:49.382404Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 494e2721-6b1c-4f8c-90ac-9b2a6f2bdff5 · outbound

This paper cites In: Ramakrishnan, C.R., Rehof, J.

Automatic Inference of Relational Object Invariants In: Ramakrishnan, C.R., Rehof, J

Reference 24

Resolution: malformed identifier; no resolver link, observed 2026-08-12T15:02:49.389308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8f9efeb-05a0-4361-8a28-e729aa6a73fb · outbound

This paper cites In: Notes of the ACM SIGPLAN Workshop on ML.

Automatic Inference of Relational Object Invariants In: Notes of the ACM SIGPLAN Workshop on ML

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:02:50.641443Z

Source-reported events for the cited work

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

Observation 2dd39768-782a-4da3-9d46-417e901700f0 · outbound

This paper cites In: Griggio, A., Rungta, N.

Automatic Inference of Relational Object Invariants In: Griggio, A., Rungta, N

Reference 26

Resolution: verified exact; doi, observed 2026-08-12T15:02:49.512615Z

Source-reported events for the cited work

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

Observation 6fab5630-c223-45b0-ab7d-2950e4b4465b · outbound

This paper cites In: Hermenegildo, M.V., Palsberg, J.

Automatic Inference of Relational Object Invariants In: Hermenegildo, M.V., Palsberg, J

Reference 27

Resolution: malformed identifier; doi_truncated, observed 2026-08-12T15:02:49.910605Z

Source-reported events for the cited work

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

Observation 05e833e6-f535-4628-a2e9-39d52fcb6a2a · outbound

This paper cites In: M¨ uller-Olm, M., Seidl, H.

Automatic Inference of Relational Object Invariants In: M¨ uller-Olm, M., Seidl, H

Reference 28

Resolution: verified exact; doi, observed 2026-08-12T15:02:49.486725Z

Source-reported events for the cited work

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

Observation 368fb17a-45ce-4384-ae70-849375659155 · outbound

This paper cites 18: Generic algorithm for the lattice operations.

Automatic Inference of Relational Object Invariants 18: Generic algorithm for the lattice operations

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T15:02:50.616055Z

Source-reported events for the cited work

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

Observation d893da9a-ca6f-4e34-a383-c8bd26c325bb · outbound

This paper cites https://doi.org/10.1007/978- 3- 540- 24730- 2_38 , https://doi.org/10.1007/978-3-540-24730-2_38.

Automatic Inference of Relational Object Invariants https://doi.org/10.1007/978- 3- 540- 24730- 2_38 , https://doi.org/10.1007/978-3-540-24730-2_38

Reference 529

Resolution: malformed identifier; no resolver link, observed 2026-08-12T15:02:49.288161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.