{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:ZTNA7IDOXTOAV4A3KML6HBA3O2","short_pith_number":"pith:ZTNA7IDO","canonical_record":{"source":{"id":"1605.05104","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-05-17T10:48:45Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"a9839fc8c603efa8284d7d9af054c1878e6ef54f073c19ac0eb7e924151ca6c3","abstract_canon_sha256":"5dd0b14e2466144102e3f504219964006e0ed7b22bc78e3f5b6c4fc5186327ee"},"schema_version":"1.0"},"canonical_sha256":"ccda0fa06ebcdc0af01b5317e3841b76bc7cf0fea13cccb820a6a8ca9b68addd","source":{"kind":"arxiv","id":"1605.05104","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.05104","created_at":"2026-05-18T01:14:28Z"},{"alias_kind":"arxiv_version","alias_value":"1605.05104v1","created_at":"2026-05-18T01:14:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.05104","created_at":"2026-05-18T01:14:28Z"},{"alias_kind":"pith_short_12","alias_value":"ZTNA7IDOXTOA","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"ZTNA7IDOXTOAV4A3","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"ZTNA7IDO","created_at":"2026-05-18T12:30:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:ZTNA7IDOXTOAV4A3KML6HBA3O2","target":"record","payload":{"canonical_record":{"source":{"id":"1605.05104","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-05-17T10:48:45Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"a9839fc8c603efa8284d7d9af054c1878e6ef54f073c19ac0eb7e924151ca6c3","abstract_canon_sha256":"5dd0b14e2466144102e3f504219964006e0ed7b22bc78e3f5b6c4fc5186327ee"},"schema_version":"1.0"},"canonical_sha256":"ccda0fa06ebcdc0af01b5317e3841b76bc7cf0fea13cccb820a6a8ca9b68addd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:14:28.568304Z","signature_b64":"DQMIeIh1BTEdqDFNKiSe2gOYIvdJPF8ElBi7akh8ChYFmwOp3oCsuQTaaEarxjwVUbSEiyOmSBQO9WG/UYbtCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ccda0fa06ebcdc0af01b5317e3841b76bc7cf0fea13cccb820a6a8ca9b68addd","last_reissued_at":"2026-05-18T01:14:28.567739Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:14:28.567739Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.05104","source_version":1,"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-18T01:14:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"emFUKWycN5OPZE77vOHy07Ch8En0hJIRk/M36hxVfdHC0H9U6pQ2FncG0P+wFXSICVpEO6ylK3kA1SsSLC+5CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T01:09:22.234486Z"},"content_sha256":"0484549c153c845ed8cb6d29a8ed0456326b783deadc52536495a3a5c6f428e1","schema_version":"1.0","event_id":"sha256:0484549c153c845ed8cb6d29a8ed0456326b783deadc52536495a3a5c6f428e1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:ZTNA7IDOXTOAV4A3KML6HBA3O2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"Damiano Zanardini, Isabella Mastroeni","submitted_at":"2016-05-17T10:48:45Z","abstract_excerpt":"In the present paper we formally define the notion of abstract program slicing, a general form of program slicing where properties of data are considered instead of their exact value. This approach is applied to a language with numeric and reference values, and relies on the notion of abstract dependencies between program components (statements).\n  The different forms of (backward) abstract slicing are added to an existing formal framework where traditional, non-abstract forms of slicing could be compared. The extended framework allows us to appreciate that abstract slicing is a generalization"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.05104","kind":"arxiv","version":1},"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-18T01:14:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XScNvIuCDPeSN9Mmx3V40qJqf3x2yLEqgfEmGxanWd4YmyIEAyTecq7RgIHhtQGpB0wuzWs57jmUTyKa17reAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T01:09:22.235120Z"},"content_sha256":"6a45b7d8b7fcf4ff5e9e68506b296976c7645fb14d45cbf5ae6690661e1d94da","schema_version":"1.0","event_id":"sha256:6a45b7d8b7fcf4ff5e9e68506b296976c7645fb14d45cbf5ae6690661e1d94da"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZTNA7IDOXTOAV4A3KML6HBA3O2/bundle.json","state_url":"https://pith.science/pith/ZTNA7IDOXTOAV4A3KML6HBA3O2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZTNA7IDOXTOAV4A3KML6HBA3O2/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-06T01:09:22Z","links":{"resolver":"https://pith.science/pith/ZTNA7IDOXTOAV4A3KML6HBA3O2","bundle":"https://pith.science/pith/ZTNA7IDOXTOAV4A3KML6HBA3O2/bundle.json","state":"https://pith.science/pith/ZTNA7IDOXTOAV4A3KML6HBA3O2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZTNA7IDOXTOAV4A3KML6HBA3O2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:ZTNA7IDOXTOAV4A3KML6HBA3O2","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":"5dd0b14e2466144102e3f504219964006e0ed7b22bc78e3f5b6c4fc5186327ee","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-05-17T10:48:45Z","title_canon_sha256":"a9839fc8c603efa8284d7d9af054c1878e6ef54f073c19ac0eb7e924151ca6c3"},"schema_version":"1.0","source":{"id":"1605.05104","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.05104","created_at":"2026-05-18T01:14:28Z"},{"alias_kind":"arxiv_version","alias_value":"1605.05104v1","created_at":"2026-05-18T01:14:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.05104","created_at":"2026-05-18T01:14:28Z"},{"alias_kind":"pith_short_12","alias_value":"ZTNA7IDOXTOA","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"ZTNA7IDOXTOAV4A3","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"ZTNA7IDO","created_at":"2026-05-18T12:30:55Z"}],"graph_snapshots":[{"event_id":"sha256:6a45b7d8b7fcf4ff5e9e68506b296976c7645fb14d45cbf5ae6690661e1d94da","target":"graph","created_at":"2026-05-18T01:14:28Z","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 the present paper we formally define the notion of abstract program slicing, a general form of program slicing where properties of data are considered instead of their exact value. This approach is applied to a language with numeric and reference values, and relies on the notion of abstract dependencies between program components (statements).\n  The different forms of (backward) abstract slicing are added to an existing formal framework where traditional, non-abstract forms of slicing could be compared. The extended framework allows us to appreciate that abstract slicing is a generalization","authors_text":"Damiano Zanardini, Isabella Mastroeni","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-05-17T10:48:45Z","title":"Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.05104","kind":"arxiv","version":1},"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:0484549c153c845ed8cb6d29a8ed0456326b783deadc52536495a3a5c6f428e1","target":"record","created_at":"2026-05-18T01:14:28Z","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":"5dd0b14e2466144102e3f504219964006e0ed7b22bc78e3f5b6c4fc5186327ee","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-05-17T10:48:45Z","title_canon_sha256":"a9839fc8c603efa8284d7d9af054c1878e6ef54f073c19ac0eb7e924151ca6c3"},"schema_version":"1.0","source":{"id":"1605.05104","kind":"arxiv","version":1}},"canonical_sha256":"ccda0fa06ebcdc0af01b5317e3841b76bc7cf0fea13cccb820a6a8ca9b68addd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ccda0fa06ebcdc0af01b5317e3841b76bc7cf0fea13cccb820a6a8ca9b68addd","first_computed_at":"2026-05-18T01:14:28.567739Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:14:28.567739Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DQMIeIh1BTEdqDFNKiSe2gOYIvdJPF8ElBi7akh8ChYFmwOp3oCsuQTaaEarxjwVUbSEiyOmSBQO9WG/UYbtCw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:14:28.568304Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.05104","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0484549c153c845ed8cb6d29a8ed0456326b783deadc52536495a3a5c6f428e1","sha256:6a45b7d8b7fcf4ff5e9e68506b296976c7645fb14d45cbf5ae6690661e1d94da"],"state_sha256":"544cf9e42c2a190e613e895ff3a80f01333feed35910e399be25aafa91ec31be"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WpQ5G46mh6k0S6UpGhw7hrUtqKxw93tSECx19LCYjaUIrYdKFqPJnoYi+w7ZYcqf5Lb9A6Jurx34KByoZuIFAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T01:09:22.238095Z","bundle_sha256":"2ad84c220548a6e4bf5d6bc894a44861799e6815a37f492933b096131299f131"}}