{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XR4O4VEQZOFB7NSIGI6FL4FCY7","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":"5ec227f77df1e252b9463811c5b650e71396d7e20793b01f127ecdf93244d9dd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-30T06:53:13Z","title_canon_sha256":"2bcfba74f3e3066519a722dfdf324bd14126ffaa51efdf0c15614607452a36d0"},"schema_version":"1.0","source":{"id":"1703.10331","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.10331","created_at":"2026-05-18T00:47:37Z"},{"alias_kind":"arxiv_version","alias_value":"1703.10331v1","created_at":"2026-05-18T00:47:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.10331","created_at":"2026-05-18T00:47:37Z"},{"alias_kind":"pith_short_12","alias_value":"XR4O4VEQZOFB","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"XR4O4VEQZOFB7NSI","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"XR4O4VEQ","created_at":"2026-05-18T12:31:56Z"}],"graph_snapshots":[{"event_id":"sha256:547ca18605915c46adf292df28e9404fe33dae200872d7b02fbd87293778af5e","target":"graph","created_at":"2026-05-18T00:47:37Z","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":"Contracts and contract monitoring are a powerful mechanism for specifying properties and guaranteeing them at run time. However, run time monitoring of contracts imposes a significant overhead. The execution time is impacted by the insertion of contract checks as well as by the introduction of proxy objects that perform delayed contract checks on demand.\n  Static contract simplification attacks this issue using program transformation. It applies compile-time transformations to programs with contracts to reduce the overall run time while preserving the original behavior. Our key technique is to","authors_text":"Matthias Keil, Peter Thiemann","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-30T06:53:13Z","title":"Static Contract Simplification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.10331","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:0176dc38f645d82a8100b938838b14b830f4c0f45f474871e6128086b6dc934d","target":"record","created_at":"2026-05-18T00:47:37Z","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":"5ec227f77df1e252b9463811c5b650e71396d7e20793b01f127ecdf93244d9dd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-30T06:53:13Z","title_canon_sha256":"2bcfba74f3e3066519a722dfdf324bd14126ffaa51efdf0c15614607452a36d0"},"schema_version":"1.0","source":{"id":"1703.10331","kind":"arxiv","version":1}},"canonical_sha256":"bc78ee5490cb8a1fb648323c55f0a2c7c16b1d3d4471a9344f4b52ec13ab5cef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bc78ee5490cb8a1fb648323c55f0a2c7c16b1d3d4471a9344f4b52ec13ab5cef","first_computed_at":"2026-05-18T00:47:37.357405Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:47:37.357405Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KaAQx98V4zte1Jo506/eF7k56seVRMiJo0RPURIHboSHLo1muC7MfQCyJa2QeflXLhjOuo4G7BteeP7lwr11AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:47:37.358028Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.10331","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0176dc38f645d82a8100b938838b14b830f4c0f45f474871e6128086b6dc934d","sha256:547ca18605915c46adf292df28e9404fe33dae200872d7b02fbd87293778af5e"],"state_sha256":"c124939cd18bc2d8c59db85562aa1ef3c05fd07623c35b953e1570caae78a842"}