Toward Declarative Platform-Independent Modeling of Hybrid Quantum--Classical Software
Quantum hardware platforms are heterogeneous (gate- and analog-based devices, quantum networks, etc.), requiring quantum software to match platform-specific implementations (quantum circuits, adiabatic evolution) and users to hold quantum-mechanics expertise, thus limiting both the user base and program portability acr...