Pith. sign in

REVIEW 2 cited by

On Refactoring Quantum Programs

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2306.10517 v1 pith:ZAZ2IAYJ submitted 2023-06-18 cs.SE cs.PLquant-ph

classification cs.SEcs.PLquant-ph
keywords quantumrefactoringprogramsprogrammingdesignedefficiencymaintainabilityrestructuring
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

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 programs. Each refactoring is carefully designed and explained to ensure the effective restructuring of quantum programs. Additionally, we highlight the importance of tool support in automating the refactoring process for quantum programs. Although our study focuses on the quantum programming language Q\#, our approach is applicable to other quantum programming languages, offering a general solution for enhancing the maintainability and efficiency of quantum software.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Automatic Qiskit Code Refactoring Using Large Language Models

    cs.SE 2025-06 conditional novelty 5.0 of 10

    A structured taxonomy of Qiskit migration scenarios improves GPT-4's line-level refactoring precision from 0.32 to 0.55 and recall from 0.35 to 0.62 on 25 synthetic snippets.

  2. Taxonomy of migration scenarios for Qiskit refactoring using LLMs

    cs.SE 2025-06 conditional novelty 5.0 of 10

    LLMs can generate a structured taxonomy of Qiskit migration and refactoring scenarios that largely overlaps with an expert-built taxonomy and adds some scenarios.

Pith tools