82 citations · 303 across the 17 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2022★ 1 cited
CoqQ: Foundational Verification of Quantum Programs
Li Zhou, Gilles Barthe, Pierre-Yves Strub +2
CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its main components are: a deeply embedded quantum programming language, in which classic quant…
cs.PL2019
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs (Extended Version)
Junyi Liu, Li Zhou, Gilles Barthe +1
We study expected runtimes for quantum programs. Inspired by recent work on probabilistic programs, we first define expected runtime as a generalisation of quantum weakest precondi…