{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:OAXHCLYGAQQLVPKY7GKR3MHKZB","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":"de52f6bd2069070c1cffc837decfad38276253489bd620149bb4738f66eed579","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-01-22T10:29:41Z","title_canon_sha256":"4658b7b4e5fb5f712f3b9ff1a8c565af78949e2cecee0bba352321b1b78d13b5"},"schema_version":"1.0","source":{"id":"2101.09042","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2101.09042","created_at":"2026-07-05T02:25:36Z"},{"alias_kind":"arxiv_version","alias_value":"2101.09042v2","created_at":"2026-07-05T02:25:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2101.09042","created_at":"2026-07-05T02:25:36Z"},{"alias_kind":"pith_short_12","alias_value":"OAXHCLYGAQQL","created_at":"2026-07-05T02:25:36Z"},{"alias_kind":"pith_short_16","alias_value":"OAXHCLYGAQQLVPKY","created_at":"2026-07-05T02:25:36Z"},{"alias_kind":"pith_short_8","alias_value":"OAXHCLYG","created_at":"2026-07-05T02:25:36Z"}],"graph_snapshots":[{"event_id":"sha256:ad8f6e68a336daf9c7c383defb22b4e3bdac95791a631f45fa217e23437b78d6","target":"graph","created_at":"2026-07-05T02:25:36Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2101.09042/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Refactorings must not alter the program's functionality. However, not all refactorings fulfill this requirement. Hence, one must explicitly check that a refactoring does not alter the functionality. Since one rarely has a formal specification of the program's behavior, we utilize the original program as functional specification. Then, we check whether the original and refactored program are functionally equivalent. To this end, we apply a common idea and reduce equivalence checking to program verification. To increase efficiency, our equivalence checker PEQcheck constructs one verification tas","authors_text":"Marie-Christine Jakobs","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-01-22T10:29:41Z","title":"PEQcheck: Localized and Context-aware Checking of Functional Equivalence (Technical Report)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2101.09042","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:a8071135ccb8b73d60a2efd023aeacb4266fdc099a8aef2838082be865e8e494","target":"record","created_at":"2026-07-05T02:25:36Z","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":"de52f6bd2069070c1cffc837decfad38276253489bd620149bb4738f66eed579","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2021-01-22T10:29:41Z","title_canon_sha256":"4658b7b4e5fb5f712f3b9ff1a8c565af78949e2cecee0bba352321b1b78d13b5"},"schema_version":"1.0","source":{"id":"2101.09042","kind":"arxiv","version":2}},"canonical_sha256":"702e712f060420babd58f9951db0eac8705b0d44824c8134e316b7f353cb06c9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"702e712f060420babd58f9951db0eac8705b0d44824c8134e316b7f353cb06c9","first_computed_at":"2026-07-05T02:25:36.108568Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:25:36.108568Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IIBfE/H+uAdylGC2nliYs1ccMAhJ03F7/M0Io3GOpU/ZWDAkvvZHnugBY2/dAtqacAcObFZ4XIqHwISp7QkFDA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:25:36.109047Z","signed_message":"canonical_sha256_bytes"},"source_id":"2101.09042","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a8071135ccb8b73d60a2efd023aeacb4266fdc099a8aef2838082be865e8e494","sha256:ad8f6e68a336daf9c7c383defb22b4e3bdac95791a631f45fa217e23437b78d6"],"state_sha256":"01e44c0a768a7b3d2af2633d96a64391c30482f1e548035bc378bce42bfe1ea1"}