{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:KY4KBY7PTTD7J6SDNZFDQR7ZLX","short_pith_number":"pith:KY4KBY7P","canonical_record":{"source":{"id":"1808.08651","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-27T01:20:00Z","cross_cats_sorted":[],"title_canon_sha256":"cb9703d8f1b44f6f514ad5a48e44c4410e45650e9ef80ea30ef9499bfc9ea18f","abstract_canon_sha256":"2856413499fe9f05c9c2f029abd6d0b7c31764ffb559dbaf2995921e4e593445"},"schema_version":"1.0"},"canonical_sha256":"5638a0e3ef9cc7f4fa436e4a3847f95dddc7ba53977afa36ed949d19d7780649","source":{"kind":"arxiv","id":"1808.08651","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.08651","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"arxiv_version","alias_value":"1808.08651v1","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.08651","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"pith_short_12","alias_value":"KY4KBY7PTTD7","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_16","alias_value":"KY4KBY7PTTD7J6SD","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_8","alias_value":"KY4KBY7P","created_at":"2026-05-18T12:32:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:KY4KBY7PTTD7J6SDNZFDQR7ZLX","target":"record","payload":{"canonical_record":{"source":{"id":"1808.08651","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-27T01:20:00Z","cross_cats_sorted":[],"title_canon_sha256":"cb9703d8f1b44f6f514ad5a48e44c4410e45650e9ef80ea30ef9499bfc9ea18f","abstract_canon_sha256":"2856413499fe9f05c9c2f029abd6d0b7c31764ffb559dbaf2995921e4e593445"},"schema_version":"1.0"},"canonical_sha256":"5638a0e3ef9cc7f4fa436e4a3847f95dddc7ba53977afa36ed949d19d7780649","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:07:13.714109Z","signature_b64":"rxy1VCqIuIMoyOMxHhfs4i3r3mnG9buMvKZmuvLtTJo8b/uU3yFIS6i5FLTT6DfV9aU0WpJCsZPorozAjiNUBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5638a0e3ef9cc7f4fa436e4a3847f95dddc7ba53977afa36ed949d19d7780649","last_reissued_at":"2026-05-18T00:07:13.713521Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:07:13.713521Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.08651","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:07:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jGrpC5B/EvUFWXBPcfWtxr8mEtcHJr+DEgwVRkWyKLbmtezeT1CirwwVq0DSeYazdf4cSuqT0KnpYidkvpk9Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T20:46:01.431503Z"},"content_sha256":"9ec0a83293900b3a3fef19db6490a79e9ad3fa21e8ace758543d227f1b03b275","schema_version":"1.0","event_id":"sha256:9ec0a83293900b3a3fef19db6490a79e9ad3fa21e8ace758543d227f1b03b275"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:KY4KBY7PTTD7J6SDNZFDQR7ZLX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reversing Parallel Programs with Blocks and Procedures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Irek Ulidowski (University of Leicester), James Hoey (University of Leicester), Shoji Yuen (Nagoya University)","submitted_at":"2018-08-27T01:20:00Z","abstract_excerpt":"We show how to reverse a while language extended with blocks, local variables, procedures and the interleaving parallel composition. Annotation is defined along with a set of operational semantics capable of storing necessary reversal information, and identifiers are introduced to capture the interleaving order of an execution. Inversion is defined with a set of operational semantics that use saved information to undo an execution. We prove that annotation does not alter the behaviour of the original program, and that inversion correctly restores the initial program state."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.08651","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:07:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fpMfvBwmjjj+hCN4VEP5ih8KY3ns+LFPHbSGmQoCmHFmtK7VkhIud7sACgS9uhEk3pKPvBTw5wBsbS/bsWnNAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T20:46:01.431838Z"},"content_sha256":"c381023f24aa7900c86e1cbf4d369224ec476e941e4ef3d39f2208792781c6c1","schema_version":"1.0","event_id":"sha256:c381023f24aa7900c86e1cbf4d369224ec476e941e4ef3d39f2208792781c6c1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KY4KBY7PTTD7J6SDNZFDQR7ZLX/bundle.json","state_url":"https://pith.science/pith/KY4KBY7PTTD7J6SDNZFDQR7ZLX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KY4KBY7PTTD7J6SDNZFDQR7ZLX/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-26T20:46:01Z","links":{"resolver":"https://pith.science/pith/KY4KBY7PTTD7J6SDNZFDQR7ZLX","bundle":"https://pith.science/pith/KY4KBY7PTTD7J6SDNZFDQR7ZLX/bundle.json","state":"https://pith.science/pith/KY4KBY7PTTD7J6SDNZFDQR7ZLX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KY4KBY7PTTD7J6SDNZFDQR7ZLX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:KY4KBY7PTTD7J6SDNZFDQR7ZLX","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":"2856413499fe9f05c9c2f029abd6d0b7c31764ffb559dbaf2995921e4e593445","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-27T01:20:00Z","title_canon_sha256":"cb9703d8f1b44f6f514ad5a48e44c4410e45650e9ef80ea30ef9499bfc9ea18f"},"schema_version":"1.0","source":{"id":"1808.08651","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.08651","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"arxiv_version","alias_value":"1808.08651v1","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.08651","created_at":"2026-05-18T00:07:13Z"},{"alias_kind":"pith_short_12","alias_value":"KY4KBY7PTTD7","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_16","alias_value":"KY4KBY7PTTD7J6SD","created_at":"2026-05-18T12:32:33Z"},{"alias_kind":"pith_short_8","alias_value":"KY4KBY7P","created_at":"2026-05-18T12:32:33Z"}],"graph_snapshots":[{"event_id":"sha256:c381023f24aa7900c86e1cbf4d369224ec476e941e4ef3d39f2208792781c6c1","target":"graph","created_at":"2026-05-18T00:07:13Z","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":"We show how to reverse a while language extended with blocks, local variables, procedures and the interleaving parallel composition. Annotation is defined along with a set of operational semantics capable of storing necessary reversal information, and identifiers are introduced to capture the interleaving order of an execution. Inversion is defined with a set of operational semantics that use saved information to undo an execution. We prove that annotation does not alter the behaviour of the original program, and that inversion correctly restores the initial program state.","authors_text":"Irek Ulidowski (University of Leicester), James Hoey (University of Leicester), Shoji Yuen (Nagoya University)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-27T01:20:00Z","title":"Reversing Parallel Programs with Blocks and Procedures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.08651","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:9ec0a83293900b3a3fef19db6490a79e9ad3fa21e8ace758543d227f1b03b275","target":"record","created_at":"2026-05-18T00:07:13Z","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":"2856413499fe9f05c9c2f029abd6d0b7c31764ffb559dbaf2995921e4e593445","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-27T01:20:00Z","title_canon_sha256":"cb9703d8f1b44f6f514ad5a48e44c4410e45650e9ef80ea30ef9499bfc9ea18f"},"schema_version":"1.0","source":{"id":"1808.08651","kind":"arxiv","version":1}},"canonical_sha256":"5638a0e3ef9cc7f4fa436e4a3847f95dddc7ba53977afa36ed949d19d7780649","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5638a0e3ef9cc7f4fa436e4a3847f95dddc7ba53977afa36ed949d19d7780649","first_computed_at":"2026-05-18T00:07:13.713521Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:13.713521Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rxy1VCqIuIMoyOMxHhfs4i3r3mnG9buMvKZmuvLtTJo8b/uU3yFIS6i5FLTT6DfV9aU0WpJCsZPorozAjiNUBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:13.714109Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.08651","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9ec0a83293900b3a3fef19db6490a79e9ad3fa21e8ace758543d227f1b03b275","sha256:c381023f24aa7900c86e1cbf4d369224ec476e941e4ef3d39f2208792781c6c1"],"state_sha256":"44b25faa2c216035b8aeec93aacd72bf30b614ac80010be9b6335f144ba36ab4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7CoQBGX3h7OA5GUIpyBTFT3lCWZTqe56sr5EPFXxgrAvIcz4n73Sjg/g5FqSUB7f8vlxkmOp+4qapnp+o4qbBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T20:46:01.433697Z","bundle_sha256":"372b05b72d09d22567209899ad5fd7c5642889b679aae3c686507b9fcd0cd955"}}