{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:TJNPETI4YDIVXEMBUXFGRJ7CW6","short_pith_number":"pith:TJNPETI4","canonical_record":{"source":{"id":"1206.2188","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.PL","submitted_at":"2012-06-11T12:56:28Z","cross_cats_sorted":[],"title_canon_sha256":"d33d96eca833d55e9244407917c43e693d96fcbcd1afba6bbc6b8c749bbc38a9","abstract_canon_sha256":"e01ed5a76db35faf8993a48bc934b4591881d6d9429eeb15d7ab6a7c65c3de8d"},"schema_version":"1.0"},"canonical_sha256":"9a5af24d1cc0d15b9181a5ca68a7e2b7b9765fdce4b03cd05b3e794d6e3f2ea2","source":{"kind":"arxiv","id":"1206.2188","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.2188","created_at":"2026-05-18T03:33:49Z"},{"alias_kind":"arxiv_version","alias_value":"1206.2188v2","created_at":"2026-05-18T03:33:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.2188","created_at":"2026-05-18T03:33:49Z"},{"alias_kind":"pith_short_12","alias_value":"TJNPETI4YDIV","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"TJNPETI4YDIVXEMB","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"TJNPETI4","created_at":"2026-05-18T12:27:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:TJNPETI4YDIVXEMBUXFGRJ7CW6","target":"record","payload":{"canonical_record":{"source":{"id":"1206.2188","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.PL","submitted_at":"2012-06-11T12:56:28Z","cross_cats_sorted":[],"title_canon_sha256":"d33d96eca833d55e9244407917c43e693d96fcbcd1afba6bbc6b8c749bbc38a9","abstract_canon_sha256":"e01ed5a76db35faf8993a48bc934b4591881d6d9429eeb15d7ab6a7c65c3de8d"},"schema_version":"1.0"},"canonical_sha256":"9a5af24d1cc0d15b9181a5ca68a7e2b7b9765fdce4b03cd05b3e794d6e3f2ea2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:33:49.988052Z","signature_b64":"Fr74rEIVVa5B9nyfWI13mQgWPVAtVbsGuXM1aCaxEv+thbZzg7XtJIr3OL++gnmno4bUCuusIPqx3e5eWHdZDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9a5af24d1cc0d15b9181a5ca68a7e2b7b9765fdce4b03cd05b3e794d6e3f2ea2","last_reissued_at":"2026-05-18T03:33:49.987093Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:33:49.987093Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1206.2188","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:33:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RkkKsPQV4r3sU1lOih5oqchAY9z5vzQfe2FvXWacZZhetgbh2/W3uzTWbRVaxrDwxHfOAlpNhjBT9NREyu/LAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T23:08:57.793551Z"},"content_sha256":"79b6706e4cf85c3707cb94dfbf118026e86dfa2d7c5c762b40e8f3d4a4de5ba1","schema_version":"1.0","event_id":"sha256:79b6706e4cf85c3707cb94dfbf118026e86dfa2d7c5c762b40e8f3d4a4de5ba1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:TJNPETI4YDIVXEMBUXFGRJ7CW6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reachability-based Acyclicity Analysis by Abstract Interpretation","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Damiano Zanardini, Samir Genaim","submitted_at":"2012-06-11T12:56:28Z","abstract_excerpt":"In programming languages with dynamic use of memory, such as Java, knowing that a reference variable x points to an acyclic data structure is valuable for the analysis of termination and resource usage (e.g., execution time or memory consumption). For instance, this information guarantees that the depth of the data structure to which x points is greater than the depth of the data structure pointed to by x.f for any field f of x. This, in turn, allows bounding the number of iterations of a loop which traverses the structure by its depth, which is essential in order to prove the termination or i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.2188","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:33:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oszWjJ4lhGgRq9W1Xd9X8nb5EZb6vyMZh1G451jpL15AK4yLvhu7d+8gCfQqRHS2ucxxDBiJ7/plzJOd9yi2Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T23:08:57.793903Z"},"content_sha256":"424d054b0e70e3e82f77708b8c96f7511243dff7a504ddd93896b48d72640576","schema_version":"1.0","event_id":"sha256:424d054b0e70e3e82f77708b8c96f7511243dff7a504ddd93896b48d72640576"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TJNPETI4YDIVXEMBUXFGRJ7CW6/bundle.json","state_url":"https://pith.science/pith/TJNPETI4YDIVXEMBUXFGRJ7CW6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TJNPETI4YDIVXEMBUXFGRJ7CW6/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-21T23:08:57Z","links":{"resolver":"https://pith.science/pith/TJNPETI4YDIVXEMBUXFGRJ7CW6","bundle":"https://pith.science/pith/TJNPETI4YDIVXEMBUXFGRJ7CW6/bundle.json","state":"https://pith.science/pith/TJNPETI4YDIVXEMBUXFGRJ7CW6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TJNPETI4YDIVXEMBUXFGRJ7CW6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:TJNPETI4YDIVXEMBUXFGRJ7CW6","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e01ed5a76db35faf8993a48bc934b4591881d6d9429eeb15d7ab6a7c65c3de8d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.PL","submitted_at":"2012-06-11T12:56:28Z","title_canon_sha256":"d33d96eca833d55e9244407917c43e693d96fcbcd1afba6bbc6b8c749bbc38a9"},"schema_version":"1.0","source":{"id":"1206.2188","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1206.2188","created_at":"2026-05-18T03:33:49Z"},{"alias_kind":"arxiv_version","alias_value":"1206.2188v2","created_at":"2026-05-18T03:33:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1206.2188","created_at":"2026-05-18T03:33:49Z"},{"alias_kind":"pith_short_12","alias_value":"TJNPETI4YDIV","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"TJNPETI4YDIVXEMB","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"TJNPETI4","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:424d054b0e70e3e82f77708b8c96f7511243dff7a504ddd93896b48d72640576","target":"graph","created_at":"2026-05-18T03:33:49Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"In programming languages with dynamic use of memory, such as Java, knowing that a reference variable x points to an acyclic data structure is valuable for the analysis of termination and resource usage (e.g., execution time or memory consumption). For instance, this information guarantees that the depth of the data structure to which x points is greater than the depth of the data structure pointed to by x.f for any field f of x. This, in turn, allows bounding the number of iterations of a loop which traverses the structure by its depth, which is essential in order to prove the termination or i","authors_text":"Damiano Zanardini, Samir Genaim","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.PL","submitted_at":"2012-06-11T12:56:28Z","title":"Reachability-based Acyclicity Analysis by Abstract Interpretation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1206.2188","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:79b6706e4cf85c3707cb94dfbf118026e86dfa2d7c5c762b40e8f3d4a4de5ba1","target":"record","created_at":"2026-05-18T03:33:49Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e01ed5a76db35faf8993a48bc934b4591881d6d9429eeb15d7ab6a7c65c3de8d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.PL","submitted_at":"2012-06-11T12:56:28Z","title_canon_sha256":"d33d96eca833d55e9244407917c43e693d96fcbcd1afba6bbc6b8c749bbc38a9"},"schema_version":"1.0","source":{"id":"1206.2188","kind":"arxiv","version":2}},"canonical_sha256":"9a5af24d1cc0d15b9181a5ca68a7e2b7b9765fdce4b03cd05b3e794d6e3f2ea2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a5af24d1cc0d15b9181a5ca68a7e2b7b9765fdce4b03cd05b3e794d6e3f2ea2","first_computed_at":"2026-05-18T03:33:49.987093Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:33:49.987093Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Fr74rEIVVa5B9nyfWI13mQgWPVAtVbsGuXM1aCaxEv+thbZzg7XtJIr3OL++gnmno4bUCuusIPqx3e5eWHdZDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:33:49.988052Z","signed_message":"canonical_sha256_bytes"},"source_id":"1206.2188","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:79b6706e4cf85c3707cb94dfbf118026e86dfa2d7c5c762b40e8f3d4a4de5ba1","sha256:424d054b0e70e3e82f77708b8c96f7511243dff7a504ddd93896b48d72640576"],"state_sha256":"b8770ec26d21134f26567e0839a0e4e9e1aac2663d1292622935f214342f344d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lA/2eHqu3QNqwpADK4W7KOwOsc45CefXOBc4Np0IIKmQBQJCAh4o800s5iu5JKAgj5WjfnNfE2IzkRRKUUsyAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T23:08:57.795846Z","bundle_sha256":"5d760c748fb43e3b75fcaad057ada26711c4ba202d4c9f2ace708985cae81bd3"}}