{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:ZAZ2IAYJGOGDLP65Q7RKHPOSGP","short_pith_number":"pith:ZAZ2IAYJ","schema_version":"1.0","canonical_sha256":"c833a40309338c35bfdd87e2a3bdd233c858a80fdd5c1b13d0ef81d8b4284206","source":{"kind":"arxiv","id":"2306.10517","version":1},"attestation_state":"computed","paper":{"title":"On Refactoring Quantum Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","quant-ph"],"primary_cat":"cs.SE","authors_text":"Jianjun Zhao","submitted_at":"2023-06-18T10:15:37Z","abstract_excerpt":"Refactoring is a crucial technique for improving the efficiency and maintainability of software by restructuring its internal design while preserving its external behavior. While classical programs have benefited from various refactoring methods, the field of quantum programming lacks dedicated refactoring techniques. The distinct properties of quantum computing, such as quantum superposition, entanglement, and the no-cloning principle, necessitate specialized refactoring techniques. This paper bridges this gap by presenting a comprehensive set of refactorings specifically designed for quantum"},"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":"2306.10517","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2023-06-18T10:15:37Z","cross_cats_sorted":["cs.PL","quant-ph"],"title_canon_sha256":"5beabba010621e944d9aee8679a05a060fc99603a4a2263f8b42bc0cea52ccd1","abstract_canon_sha256":"65a0edead2cb26008f2585ee99a363341d59ec08990b1d2701e692354ba18452"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:22:08.067767Z","signature_b64":"70xUBod24/ypBbe1YOMIJ0hEk63bpyG/OjkPybB0y7DPTXX4apmuBNK/kgb27AgZO+2vtattUw95yuUKsPpQCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c833a40309338c35bfdd87e2a3bdd233c858a80fdd5c1b13d0ef81d8b4284206","last_reissued_at":"2026-07-05T06:22:08.067313Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:22:08.067313Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Refactoring Quantum Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL","quant-ph"],"primary_cat":"cs.SE","authors_text":"Jianjun Zhao","submitted_at":"2023-06-18T10:15:37Z","abstract_excerpt":"Refactoring is a crucial technique for improving the efficiency and maintainability of software by restructuring its internal design while preserving its external behavior. While classical programs have benefited from various refactoring methods, the field of quantum programming lacks dedicated refactoring techniques. The distinct properties of quantum computing, such as quantum superposition, entanglement, and the no-cloning principle, necessitate specialized refactoring techniques. This paper bridges this gap by presenting a comprehensive set of refactorings specifically designed for quantum"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.10517","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/2306.10517/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2306.10517","created_at":"2026-07-05T06:22:08.067393+00:00"},{"alias_kind":"arxiv_version","alias_value":"2306.10517v1","created_at":"2026-07-05T06:22:08.067393+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.10517","created_at":"2026-07-05T06:22:08.067393+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZAZ2IAYJGOGD","created_at":"2026-07-05T06:22:08.067393+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZAZ2IAYJGOGDLP65","created_at":"2026-07-05T06:22:08.067393+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZAZ2IAYJ","created_at":"2026-07-05T06:22:08.067393+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.20173","citing_title":"Qiskit Code Migration with LLMs","ref_index":20,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZAZ2IAYJGOGDLP65Q7RKHPOSGP","json":"https://pith.science/pith/ZAZ2IAYJGOGDLP65Q7RKHPOSGP.json","graph_json":"https://pith.science/api/pith-number/ZAZ2IAYJGOGDLP65Q7RKHPOSGP/graph.json","events_json":"https://pith.science/api/pith-number/ZAZ2IAYJGOGDLP65Q7RKHPOSGP/events.json","paper":"https://pith.science/paper/ZAZ2IAYJ"},"agent_actions":{"view_html":"https://pith.science/pith/ZAZ2IAYJGOGDLP65Q7RKHPOSGP","download_json":"https://pith.science/pith/ZAZ2IAYJGOGDLP65Q7RKHPOSGP.json","view_paper":"https://pith.science/paper/ZAZ2IAYJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2306.10517&json=true","fetch_graph":"https://pith.science/api/pith-number/ZAZ2IAYJGOGDLP65Q7RKHPOSGP/graph.json","fetch_events":"https://pith.science/api/pith-number/ZAZ2IAYJGOGDLP65Q7RKHPOSGP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZAZ2IAYJGOGDLP65Q7RKHPOSGP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZAZ2IAYJGOGDLP65Q7RKHPOSGP/action/storage_attestation","attest_author":"https://pith.science/pith/ZAZ2IAYJGOGDLP65Q7RKHPOSGP/action/author_attestation","sign_citation":"https://pith.science/pith/ZAZ2IAYJGOGDLP65Q7RKHPOSGP/action/citation_signature","submit_replication":"https://pith.science/pith/ZAZ2IAYJGOGDLP65Q7RKHPOSGP/action/replication_record"}},"created_at":"2026-07-05T06:22:08.067393+00:00","updated_at":"2026-07-05T06:22:08.067393+00:00"}