{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:GLPPBPYNC5BBJ33OSGQDOHWLU3","short_pith_number":"pith:GLPPBPYN","canonical_record":{"source":{"id":"0910.4748","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2009-10-25T15:05:07Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"960cdc18b8c4b50b8a960f1b121a0740e1f42e96dd7bd1ec288ffa4a4115aa3e","abstract_canon_sha256":"39de6096ac27886f91384f7d736e812a211e4b7b0426fea1b959f75941a952ba"},"schema_version":"1.0"},"canonical_sha256":"32def0bf0d174214ef6e91a0371ecba6c10d07ef8f62bcc11b14bba286da5ee7","source":{"kind":"arxiv","id":"0910.4748","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0910.4748","created_at":"2026-05-18T03:27:41Z"},{"alias_kind":"arxiv_version","alias_value":"0910.4748v3","created_at":"2026-05-18T03:27:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0910.4748","created_at":"2026-05-18T03:27:41Z"},{"alias_kind":"pith_short_12","alias_value":"GLPPBPYNC5BB","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_16","alias_value":"GLPPBPYNC5BBJ33O","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_8","alias_value":"GLPPBPYN","created_at":"2026-05-18T12:25:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:GLPPBPYNC5BBJ33OSGQDOHWLU3","target":"record","payload":{"canonical_record":{"source":{"id":"0910.4748","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2009-10-25T15:05:07Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"960cdc18b8c4b50b8a960f1b121a0740e1f42e96dd7bd1ec288ffa4a4115aa3e","abstract_canon_sha256":"39de6096ac27886f91384f7d736e812a211e4b7b0426fea1b959f75941a952ba"},"schema_version":"1.0"},"canonical_sha256":"32def0bf0d174214ef6e91a0371ecba6c10d07ef8f62bcc11b14bba286da5ee7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:27:41.399254Z","signature_b64":"QSDNSsJjB4xkoIok0fZLG5kuzlGd1NymNppZmXhajZYWXVDJQaegErjaf3F3mZffcfoL7H6RO+j1ROCjAOy9Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"32def0bf0d174214ef6e91a0371ecba6c10d07ef8f62bcc11b14bba286da5ee7","last_reissued_at":"2026-05-18T03:27:41.398836Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:27:41.398836Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0910.4748","source_version":3,"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:27:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T+izbeiEQ+tzNhg/xhbIBEWAeH3MeFxlwG6ToSJjn1rtawNLoBABAcQ0h+jmS4vG6RM/t5pGYALrCxGl63jmDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T19:08:18.257865Z"},"content_sha256":"5bfb3eba0f9e2b72abe78ca61d0630a5926258ae449d69dbf89276ea76f28dca","schema_version":"1.0","event_id":"sha256:5bfb3eba0f9e2b72abe78ca61d0630a5926258ae449d69dbf89276ea76f28dca"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:GLPPBPYNC5BBJ33OSGQDOHWLU3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Correctness Kernels of Abstract Interpretations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Francesco Ranzato, Roberto Giacobazzi","submitted_at":"2009-10-25T15:05:07Z","abstract_excerpt":"In abstract interpretation-based static analysis, approximation is encoded by abstract domains. They provide systematic guidelines for designing abstract semantic functions that approximate some concrete system behaviors under analysis. It may happen that an abstract domain contains redundant information for the specific purpose of approximating a given concrete semantic function. This paper introduces the notion of correctness kernel of abstract interpretations, a methodology for simplifying abstract domains, i.e. removing abstract values from them, in a maximal way while retaining exactly th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0910.4748","kind":"arxiv","version":3},"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:27:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"crCcBeF3YWFt7qntxz7BWZHXo9NK4YV9BYWy7aCaIDA/u6Y2SZHoNPVjHRUqdbq0iUgBI94eLxqX8kpd30/jAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T19:08:18.258209Z"},"content_sha256":"99e6673e274c4d0f9c8067096e620c4e0b9cb7e1412ba736a3ecadf43de33d45","schema_version":"1.0","event_id":"sha256:99e6673e274c4d0f9c8067096e620c4e0b9cb7e1412ba736a3ecadf43de33d45"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GLPPBPYNC5BBJ33OSGQDOHWLU3/bundle.json","state_url":"https://pith.science/pith/GLPPBPYNC5BBJ33OSGQDOHWLU3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GLPPBPYNC5BBJ33OSGQDOHWLU3/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-05-26T19:08:18Z","links":{"resolver":"https://pith.science/pith/GLPPBPYNC5BBJ33OSGQDOHWLU3","bundle":"https://pith.science/pith/GLPPBPYNC5BBJ33OSGQDOHWLU3/bundle.json","state":"https://pith.science/pith/GLPPBPYNC5BBJ33OSGQDOHWLU3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GLPPBPYNC5BBJ33OSGQDOHWLU3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:GLPPBPYNC5BBJ33OSGQDOHWLU3","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":"39de6096ac27886f91384f7d736e812a211e4b7b0426fea1b959f75941a952ba","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2009-10-25T15:05:07Z","title_canon_sha256":"960cdc18b8c4b50b8a960f1b121a0740e1f42e96dd7bd1ec288ffa4a4115aa3e"},"schema_version":"1.0","source":{"id":"0910.4748","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0910.4748","created_at":"2026-05-18T03:27:41Z"},{"alias_kind":"arxiv_version","alias_value":"0910.4748v3","created_at":"2026-05-18T03:27:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0910.4748","created_at":"2026-05-18T03:27:41Z"},{"alias_kind":"pith_short_12","alias_value":"GLPPBPYNC5BB","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_16","alias_value":"GLPPBPYNC5BBJ33O","created_at":"2026-05-18T12:25:59Z"},{"alias_kind":"pith_short_8","alias_value":"GLPPBPYN","created_at":"2026-05-18T12:25:59Z"}],"graph_snapshots":[{"event_id":"sha256:99e6673e274c4d0f9c8067096e620c4e0b9cb7e1412ba736a3ecadf43de33d45","target":"graph","created_at":"2026-05-18T03:27:41Z","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 abstract interpretation-based static analysis, approximation is encoded by abstract domains. They provide systematic guidelines for designing abstract semantic functions that approximate some concrete system behaviors under analysis. It may happen that an abstract domain contains redundant information for the specific purpose of approximating a given concrete semantic function. This paper introduces the notion of correctness kernel of abstract interpretations, a methodology for simplifying abstract domains, i.e. removing abstract values from them, in a maximal way while retaining exactly th","authors_text":"Francesco Ranzato, Roberto Giacobazzi","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2009-10-25T15:05:07Z","title":"Correctness Kernels of Abstract Interpretations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0910.4748","kind":"arxiv","version":3},"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:5bfb3eba0f9e2b72abe78ca61d0630a5926258ae449d69dbf89276ea76f28dca","target":"record","created_at":"2026-05-18T03:27:41Z","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":"39de6096ac27886f91384f7d736e812a211e4b7b0426fea1b959f75941a952ba","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2009-10-25T15:05:07Z","title_canon_sha256":"960cdc18b8c4b50b8a960f1b121a0740e1f42e96dd7bd1ec288ffa4a4115aa3e"},"schema_version":"1.0","source":{"id":"0910.4748","kind":"arxiv","version":3}},"canonical_sha256":"32def0bf0d174214ef6e91a0371ecba6c10d07ef8f62bcc11b14bba286da5ee7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"32def0bf0d174214ef6e91a0371ecba6c10d07ef8f62bcc11b14bba286da5ee7","first_computed_at":"2026-05-18T03:27:41.398836Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:27:41.398836Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QSDNSsJjB4xkoIok0fZLG5kuzlGd1NymNppZmXhajZYWXVDJQaegErjaf3F3mZffcfoL7H6RO+j1ROCjAOy9Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:27:41.399254Z","signed_message":"canonical_sha256_bytes"},"source_id":"0910.4748","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5bfb3eba0f9e2b72abe78ca61d0630a5926258ae449d69dbf89276ea76f28dca","sha256:99e6673e274c4d0f9c8067096e620c4e0b9cb7e1412ba736a3ecadf43de33d45"],"state_sha256":"5eb6d4ec264d1763286da159c7d98b7e3723ffb9b8b63cd901a061a5df59f250"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1+34wKlyWfzjdBHNiisgjiIy2wqpXftGJc6ru6f675csLpRezGa+6HjMUJFO0Iay9PHTYHRDqOnZiIhLTE6KDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T19:08:18.260519Z","bundle_sha256":"1bd6c89cfbdb14cc9b20d4ee01f36f5c8f13a3ff3f907480b3ac850e4736e0be"}}