{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:XFCII6UFBORIQ762VAJPAOGW2F","short_pith_number":"pith:XFCII6UF","canonical_record":{"source":{"id":"1908.07189","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-20T06:36:01Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"ca1143915c7fbd07816e4afc826ab191978641bca478d6980cf3496521e0aa9f","abstract_canon_sha256":"b63881c2b297752ffc2594f84553115d735deb69fcb807f147a555ea9832b8ad"},"schema_version":"1.0"},"canonical_sha256":"b944847a850ba2887fdaa812f038d6d15537f3fddcecdf099c44fffe5984fbb8","source":{"kind":"arxiv","id":"1908.07189","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:XFCII6UFBORIQ762VAJPAOGW2F","target":"record","payload":{"canonical_record":{"source":{"id":"1908.07189","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-20T06:36:01Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"ca1143915c7fbd07816e4afc826ab191978641bca478d6980cf3496521e0aa9f","abstract_canon_sha256":"b63881c2b297752ffc2594f84553115d735deb69fcb807f147a555ea9832b8ad"},"schema_version":"1.0"},"canonical_sha256":"b944847a850ba2887fdaa812f038d6d15537f3fddcecdf099c44fffe5984fbb8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T23:58:31.705497Z","signature_b64":"SCp3jnLCbWMun/81t/galpZbtZMMta83VPfA2S+2OBbKTSwk3T/Nj+u8/5E/GkF7Nu6JPgbPZWOo4oyt5eJWCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b944847a850ba2887fdaa812f038d6d15537f3fddcecdf099c44fffe5984fbb8","last_reissued_at":"2026-07-04T23:58:31.705066Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T23:58:31.705066Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1908.07189","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-07-04T23:58:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C2PP3a3lwJks1J3xP3/dwkwbo8S8h9DXaeIOILfwpt+u7dEKoy4TJ/Eqd+VHM9r+J7aAJEzUW1FDDJ/7L9SqDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T07:59:11.265762Z"},"content_sha256":"a0938e1f06567f60e38cae99a84c383715a1c14c67fc3d9f328d01a3bd153886","schema_version":"1.0","event_id":"sha256:a0938e1f06567f60e38cae99a84c383715a1c14c67fc3d9f328d01a3bd153886"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:XFCII6UFBORIQ762VAJPAOGW2F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Polyvariant Program Specialisation with Property-based Abstraction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.LO","authors_text":"IMDEA Software Institute), John P. Gallagher (Roskilde University","submitted_at":"2019-08-20T06:36:01Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1908.07189","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1908.07189/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-04T23:58:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gRYoymgZMjXvzWXXrFtxAWXcvdD1C6sP8EoozMdPlMDW6Ke0dwsHhBKk73ohZgKTpafOZWY5LcfOmRwmJRAWDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T07:59:11.266535Z"},"content_sha256":"a198e7874f6a17778d17cb129657c00bc7911dc0ac2a611e41edd9898d0db8ef","schema_version":"1.0","event_id":"sha256:a198e7874f6a17778d17cb129657c00bc7911dc0ac2a611e41edd9898d0db8ef"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XFCII6UFBORIQ762VAJPAOGW2F/bundle.json","state_url":"https://pith.science/pith/XFCII6UFBORIQ762VAJPAOGW2F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XFCII6UFBORIQ762VAJPAOGW2F/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-08-16T07:59:11Z","links":{"resolver":"https://pith.science/pith/XFCII6UFBORIQ762VAJPAOGW2F","bundle":"https://pith.science/pith/XFCII6UFBORIQ762VAJPAOGW2F/bundle.json","state":"https://pith.science/pith/XFCII6UFBORIQ762VAJPAOGW2F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XFCII6UFBORIQ762VAJPAOGW2F/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qlOoC9RY0c9u+KHTAJOVyQlMib00RHKfoveeQuyrdFPs8uS1SxidmuPioYaaksVKj05Eme19pds5n2oegXDYDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T07:59:11.271777Z","bundle_sha256":"c81f4bbd5b0fc15e95ea5e63abb0c09d74308b621bef85af2471c715ef1997fd"}}