NxM-Version Programming for Quantum Software: High-Level Components across Frameworks and Engines

arXiv:2609.33255 · quant-ph, cs.SE · Submitted 2026-09-27 · Read on arXiv

quant-ph, cs.SE

Submitted: 2026-09-27

Updated: 2026-09-27

Code: https://github.com/microsoft/qsharp

Project page: https://qutech-delft.github.io/cQASM-spec/latest

Terminology

• Calibration — 9× in this paper · explained in 7 episodes
• Abstraction — 3× in this paper · explained in 1 episode
• Algorithmic Primitives — 1× in this paper · explained in 1 episode
• Azure Quantum Development Kit — 1× in this paper
• Benchmark — 1× in this paper · explained in 2 episodes
• Provenance — 1× in this paper · explained in 3 episodes
• Quantum Circuits — 1× in this paper · explained in 2 episodes
• Redundancy — 1× in this paper · explained in 2 episodes
• Transformer — 1× in this paper · explained in 2 episodes
• Verification — 1× in this paper · explained in 2 episodes

Sources

• Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
• Quantum computing with Qiskit
• PennyLane: Automatic differentiation of hybrid quantum-classical computations
• Open Quantum Assembly Language
• A Practical Quantum Instruction Set Architecture
• cQASM v1.0: Towards a Common Quantum Assembly Language
• A new quantum ripple-carry addition circuit

Related papers

• Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
• Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
• Polynomial-time classical and quantum simulation of quantum impurity models
• Theory of quantum-enhanced interferometry with general Markovian light sources
• A convergent hierarchy of spectral gap certificates for qubit Hamiltonians
• Universal Bound and Phase Transition in Many-Body Fermionic Non-Gaussianity