Butler, M. J. and Hartel, P. H.
Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp.
ACM Transactions on Programming Languages and Systems, 21, (3), .
Grover's search algorithm is designed to be executed on a quantum-mechanical computer. In this article, the probabilistic wp-calculus is used to model and reason about Grover's algorithm. It is demonstrated that the calculus provides a rigorous programming notation for modeling this and other quantum algorithms and that it also provides a systematic framework of analyzing such algorithms.
Actions (login required)