Quantum weakest preconditions for reasoning about expected runtimes of quantum programs

DOI10.1145/3531130.3533327WikidataQ130910802 ScholiaQ130910802MaRDI QIDQ6649432

Gilles Barthe, Li Zhou, Junyi Liu, Ming Sheng Ying

Publication date: 6 December 2024

zbMATH Keywords

terminationquantum random walkquantum programmingexpected runtimephysical observablequantum weakest precondition

Mathematics Subject Classification ID

Quantum algorithms and complexity in the theory of computing (68Q12)

This page was built for publication: Quantum weakest preconditions for reasoning about expected runtimes of quantum programs