An Effective Quantum Hoare Logic for Hybrid Quantum Programs with Unbounded Loops

Christophe Chareton, Jad Issa, Romain Péchoux

While quantum hardware remains limited, hybrid quantum-classical algorithms with complex control structures, including unbounded loops, are emerging, posing new challenges for quan…