{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:XFCII6UFBORIQ762VAJPAOGW2F","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":"b63881c2b297752ffc2594f84553115d735deb69fcb807f147a555ea9832b8ad","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-20T06:36:01Z","title_canon_sha256":"ca1143915c7fbd07816e4afc826ab191978641bca478d6980cf3496521e0aa9f"},"schema_version":"1.0","source":{"id":"1908.07189","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1908.07189","created_at":"2026-07-04T23:58:31Z"},{"alias_kind":"arxiv_version","alias_value":"1908.07189v1","created_at":"2026-07-04T23:58:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1908.07189","created_at":"2026-07-04T23:58:31Z"},{"alias_kind":"pith_short_12","alias_value":"XFCII6UFBORI","created_at":"2026-07-04T23:58:31Z"},{"alias_kind":"pith_short_16","alias_value":"XFCII6UFBORIQ762","created_at":"2026-07-04T23:58:31Z"},{"alias_kind":"pith_short_8","alias_value":"XFCII6UF","created_at":"2026-07-04T23:58:31Z"}],"graph_snapshots":[{"event_id":"sha256:a198e7874f6a17778d17cb129657c00bc7911dc0ac2a611e41edd9898d0db8ef","target":"graph","created_at":"2026-07-04T23:58:31Z","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/1908.07189/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper we show that property-based abstraction, an established technique originating in software model checking, is a flexible method of controlling polyvariance in program specialisation in a standard online specialisation algorithm. Specialisation is a program transformation that transforms a program with respect to given constraints that restrict its behaviour. Polyvariant specialisation refers to the generation of two or more specialised versions of the same program code. The same program point can be reached more than once during a computation, with different constraints applying i","authors_text":"IMDEA Software Institute), John P. Gallagher (Roskilde University","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-20T06:36:01Z","title":"Polyvariant Program Specialisation with Property-based Abstraction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.07189","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:a0938e1f06567f60e38cae99a84c383715a1c14c67fc3d9f328d01a3bd153886","target":"record","created_at":"2026-07-04T23:58:31Z","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":"b63881c2b297752ffc2594f84553115d735deb69fcb807f147a555ea9832b8ad","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-20T06:36:01Z","title_canon_sha256":"ca1143915c7fbd07816e4afc826ab191978641bca478d6980cf3496521e0aa9f"},"schema_version":"1.0","source":{"id":"1908.07189","kind":"arxiv","version":1}},"canonical_sha256":"b944847a850ba2887fdaa812f038d6d15537f3fddcecdf099c44fffe5984fbb8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b944847a850ba2887fdaa812f038d6d15537f3fddcecdf099c44fffe5984fbb8","first_computed_at":"2026-07-04T23:58:31.705066Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T23:58:31.705066Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SCp3jnLCbWMun/81t/galpZbtZMMta83VPfA2S+2OBbKTSwk3T/Nj+u8/5E/GkF7Nu6JPgbPZWOo4oyt5eJWCQ==","signature_status":"signed_v1","signed_at":"2026-07-04T23:58:31.705497Z","signed_message":"canonical_sha256_bytes"},"source_id":"1908.07189","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a0938e1f06567f60e38cae99a84c383715a1c14c67fc3d9f328d01a3bd153886","sha256:a198e7874f6a17778d17cb129657c00bc7911dc0ac2a611e41edd9898d0db8ef"],"state_sha256":"3385bebacd85687c1b02604dc961eecdc8c1195fcad71e0dbae7f8b756255d5f"}