2 papers
quant-ph2026
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…
cs.PL2026
Hybrid Path-Sums for Hybrid Quantum Programs
Christophe Chareton, Jad Issa, Mathieu Nguyen +2
As quantum computing becomes an emerging reality, designing efficient quantum programming capabilities is becoming more and more important. Particularly, the debugging and validati…