{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:55CF5DMGNSA4HMSHWGXIKXWHKP","short_pith_number":"pith:55CF5DMG","schema_version":"1.0","canonical_sha256":"ef445e8d866c81c3b247b1ae855ec753d727839e9bcc6d0f86bf8a2ec8ef4e05","source":{"kind":"arxiv","id":"1808.05360","version":2},"attestation_state":"computed","paper":{"title":"Compiling Control as Offline Partial Deduction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Danny De Schreye, Vincent Nys","submitted_at":"2018-08-16T07:09:58Z","abstract_excerpt":"We present a new approach to a technique known as compiling control, whose aim is to compile away special mechanisms for non-standard atom selection in logic programs. It has previously been conjectured that compiling control could be implemented as an instance of the first Futamura projection, in which an interpreter is specialized for an input program. However, the exact nature of such an interpreter and of the required technique for specialization were never specified. In this work, we propose a Prolog meta-interpreter which applies the desired non-standard selection rule and which is amena"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1808.05360","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-16T07:09:58Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"8ee789b8c85d0c4ff5ff33e827ce6de41d3a2c55f3f0d460018db4dd7e17af02","abstract_canon_sha256":"7278faa97e53e5b27e5877cfb3da0118e29f72a49c82fde77e830279a988fc6a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:59:32.289947Z","signature_b64":"iCk27BWs4fQrPtfQKDdR0n4jwALkD0D+hpaiCltMNeAkZ4/WxJ/PeJo5kWXzJTnh2wUwvXQ6Cyq40ZlMqFmmDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ef445e8d866c81c3b247b1ae855ec753d727839e9bcc6d0f86bf8a2ec8ef4e05","last_reissued_at":"2026-05-17T23:59:32.289366Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:59:32.289366Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Compiling Control as Offline Partial Deduction","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Danny De Schreye, Vincent Nys","submitted_at":"2018-08-16T07:09:58Z","abstract_excerpt":"We present a new approach to a technique known as compiling control, whose aim is to compile away special mechanisms for non-standard atom selection in logic programs. It has previously been conjectured that compiling control could be implemented as an instance of the first Futamura projection, in which an interpreter is specialized for an input program. However, the exact nature of such an interpreter and of the required technique for specialization were never specified. In this work, we propose a Prolog meta-interpreter which applies the desired non-standard selection rule and which is amena"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.05360","kind":"arxiv","version":2},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1808.05360","created_at":"2026-05-17T23:59:32.289454+00:00"},{"alias_kind":"arxiv_version","alias_value":"1808.05360v2","created_at":"2026-05-17T23:59:32.289454+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.05360","created_at":"2026-05-17T23:59:32.289454+00:00"},{"alias_kind":"pith_short_12","alias_value":"55CF5DMGNSA4","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_16","alias_value":"55CF5DMGNSA4HMSH","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_8","alias_value":"55CF5DMG","created_at":"2026-05-18T12:32:05.422762+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/55CF5DMGNSA4HMSHWGXIKXWHKP","json":"https://pith.science/pith/55CF5DMGNSA4HMSHWGXIKXWHKP.json","graph_json":"https://pith.science/api/pith-number/55CF5DMGNSA4HMSHWGXIKXWHKP/graph.json","events_json":"https://pith.science/api/pith-number/55CF5DMGNSA4HMSHWGXIKXWHKP/events.json","paper":"https://pith.science/paper/55CF5DMG"},"agent_actions":{"view_html":"https://pith.science/pith/55CF5DMGNSA4HMSHWGXIKXWHKP","download_json":"https://pith.science/pith/55CF5DMGNSA4HMSHWGXIKXWHKP.json","view_paper":"https://pith.science/paper/55CF5DMG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1808.05360&json=true","fetch_graph":"https://pith.science/api/pith-number/55CF5DMGNSA4HMSHWGXIKXWHKP/graph.json","fetch_events":"https://pith.science/api/pith-number/55CF5DMGNSA4HMSHWGXIKXWHKP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/55CF5DMGNSA4HMSHWGXIKXWHKP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/55CF5DMGNSA4HMSHWGXIKXWHKP/action/storage_attestation","attest_author":"https://pith.science/pith/55CF5DMGNSA4HMSHWGXIKXWHKP/action/author_attestation","sign_citation":"https://pith.science/pith/55CF5DMGNSA4HMSHWGXIKXWHKP/action/citation_signature","submit_replication":"https://pith.science/pith/55CF5DMGNSA4HMSHWGXIKXWHKP/action/replication_record"}},"created_at":"2026-05-17T23:59:32.289454+00:00","updated_at":"2026-05-17T23:59:32.289454+00:00"}