{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:NKNBAVOOY5XCWE6K7WETJQ4NVR","short_pith_number":"pith:NKNBAVOO","canonical_record":{"source":{"id":"1705.07678","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-05-22T11:30:54Z","cross_cats_sorted":[],"title_canon_sha256":"5bfc1a1b30624e010e6efec3329ff59a4642efc628bfacdb44532cbfd4cdd05d","abstract_canon_sha256":"102a6e262f73a5bd278d33b2c801b0e921cbdbc84fa7b402553d8218aaabc6d4"},"schema_version":"1.0"},"canonical_sha256":"6a9a1055cec76e2b13cafd8934c38dac56c67da1fefb6b8d70807d49e35e9d07","source":{"kind":"arxiv","id":"1705.07678","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.07678","created_at":"2026-05-18T00:35:41Z"},{"alias_kind":"arxiv_version","alias_value":"1705.07678v1","created_at":"2026-05-18T00:35:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.07678","created_at":"2026-05-18T00:35:41Z"},{"alias_kind":"pith_short_12","alias_value":"NKNBAVOOY5XC","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NKNBAVOOY5XCWE6K","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NKNBAVOO","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:NKNBAVOOY5XCWE6K7WETJQ4NVR","target":"record","payload":{"canonical_record":{"source":{"id":"1705.07678","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-05-22T11:30:54Z","cross_cats_sorted":[],"title_canon_sha256":"5bfc1a1b30624e010e6efec3329ff59a4642efc628bfacdb44532cbfd4cdd05d","abstract_canon_sha256":"102a6e262f73a5bd278d33b2c801b0e921cbdbc84fa7b402553d8218aaabc6d4"},"schema_version":"1.0"},"canonical_sha256":"6a9a1055cec76e2b13cafd8934c38dac56c67da1fefb6b8d70807d49e35e9d07","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:41.255100Z","signature_b64":"vDEDE9YJBhDsH5hTDLYvK4ZZUZTdlEcE00pKe7bb9dpYp9gRagCveCn5nvFHiC05ybomsYEGzfV4UCbQ6o6aBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6a9a1055cec76e2b13cafd8934c38dac56c67da1fefb6b8d70807d49e35e9d07","last_reissued_at":"2026-05-18T00:35:41.254453Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:41.254453Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.07678","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-18T00:35:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zAV4htSMYnIvFKdkRjSdEEgXCsXNZ2DimWRDrAl34FXNdZHyIUbsHdWYoXM2NmZP1NkLhBImHr+tjFnzfEMmAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T19:21:32.559820Z"},"content_sha256":"ada66abb1352e6af91ea1b6b6bd2a6940c24ee95dddbc151c7cb2cea8afd2976","schema_version":"1.0","event_id":"sha256:ada66abb1352e6af91ea1b6b6bd2a6940c24ee95dddbc151c7cb2cea8afd2976"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:NKNBAVOOY5XCWE6K7WETJQ4NVR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Imperative Functional Programs that Explain their Work","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"James Cheney, Jan Stolarek, Roly Perera, Wilmer Ricciotti","submitted_at":"2017-05-22T11:30:54Z","abstract_excerpt":"Program slicing provides explanations that illustrate how program outputs were produced from inputs. We build on an approach introduced in prior work by Perera et al., where dynamic slicing was defined for pure higher-order functional programs as a Galois connection between lattices of partial inputs and partial outputs. We extend this approach to imperative functional programs that combine higher-order programming with references and exceptions. We present proofs of correctness and optimality of our approach and a proof-of-concept implementation and experimental evaluation."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.07678","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-18T00:35:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3vh+wqzIm2rApz71conzYog8sEYZ7pd5GucwSWuohUWQFL/lNhSe73x6dKut0mtZRLvzdo/aAQA2zsURoeeuCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T19:21:32.560506Z"},"content_sha256":"6632c2cca804a7544570e3f03757c847222b99ada21ce5ea77d23efa03290993","schema_version":"1.0","event_id":"sha256:6632c2cca804a7544570e3f03757c847222b99ada21ce5ea77d23efa03290993"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NKNBAVOOY5XCWE6K7WETJQ4NVR/bundle.json","state_url":"https://pith.science/pith/NKNBAVOOY5XCWE6K7WETJQ4NVR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NKNBAVOOY5XCWE6K7WETJQ4NVR/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-05T19:21:32Z","links":{"resolver":"https://pith.science/pith/NKNBAVOOY5XCWE6K7WETJQ4NVR","bundle":"https://pith.science/pith/NKNBAVOOY5XCWE6K7WETJQ4NVR/bundle.json","state":"https://pith.science/pith/NKNBAVOOY5XCWE6K7WETJQ4NVR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NKNBAVOOY5XCWE6K7WETJQ4NVR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:NKNBAVOOY5XCWE6K7WETJQ4NVR","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":"102a6e262f73a5bd278d33b2c801b0e921cbdbc84fa7b402553d8218aaabc6d4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-05-22T11:30:54Z","title_canon_sha256":"5bfc1a1b30624e010e6efec3329ff59a4642efc628bfacdb44532cbfd4cdd05d"},"schema_version":"1.0","source":{"id":"1705.07678","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.07678","created_at":"2026-05-18T00:35:41Z"},{"alias_kind":"arxiv_version","alias_value":"1705.07678v1","created_at":"2026-05-18T00:35:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.07678","created_at":"2026-05-18T00:35:41Z"},{"alias_kind":"pith_short_12","alias_value":"NKNBAVOOY5XC","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"NKNBAVOOY5XCWE6K","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"NKNBAVOO","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:6632c2cca804a7544570e3f03757c847222b99ada21ce5ea77d23efa03290993","target":"graph","created_at":"2026-05-18T00:35: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":"Program slicing provides explanations that illustrate how program outputs were produced from inputs. We build on an approach introduced in prior work by Perera et al., where dynamic slicing was defined for pure higher-order functional programs as a Galois connection between lattices of partial inputs and partial outputs. We extend this approach to imperative functional programs that combine higher-order programming with references and exceptions. We present proofs of correctness and optimality of our approach and a proof-of-concept implementation and experimental evaluation.","authors_text":"James Cheney, Jan Stolarek, Roly Perera, Wilmer Ricciotti","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-05-22T11:30:54Z","title":"Imperative Functional Programs that Explain their Work"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.07678","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:ada66abb1352e6af91ea1b6b6bd2a6940c24ee95dddbc151c7cb2cea8afd2976","target":"record","created_at":"2026-05-18T00:35: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":"102a6e262f73a5bd278d33b2c801b0e921cbdbc84fa7b402553d8218aaabc6d4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-05-22T11:30:54Z","title_canon_sha256":"5bfc1a1b30624e010e6efec3329ff59a4642efc628bfacdb44532cbfd4cdd05d"},"schema_version":"1.0","source":{"id":"1705.07678","kind":"arxiv","version":1}},"canonical_sha256":"6a9a1055cec76e2b13cafd8934c38dac56c67da1fefb6b8d70807d49e35e9d07","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6a9a1055cec76e2b13cafd8934c38dac56c67da1fefb6b8d70807d49e35e9d07","first_computed_at":"2026-05-18T00:35:41.254453Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:35:41.254453Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vDEDE9YJBhDsH5hTDLYvK4ZZUZTdlEcE00pKe7bb9dpYp9gRagCveCn5nvFHiC05ybomsYEGzfV4UCbQ6o6aBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:35:41.255100Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.07678","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ada66abb1352e6af91ea1b6b6bd2a6940c24ee95dddbc151c7cb2cea8afd2976","sha256:6632c2cca804a7544570e3f03757c847222b99ada21ce5ea77d23efa03290993"],"state_sha256":"e444132e066a091d73f4ba528d8427579d3bf6e39e4bbed98dce8b58722e7e1c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rJ+XocOYZ4QkDz8llNZm7V47hYY/Vq9WSmraUBY4naL7LujeKvaqpINeSAPLcf88Z/DC46XeRlLP8Q8BrMAWDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T19:21:32.563769Z","bundle_sha256":"5096ee98264503d1838aedb72a77cf7092802bf72e5ba237aa72a2cebd165c9c"}}