Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp
Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp
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.
417-430
Butler, M. J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Hartel, P. H.
debf0597-4832-4eb3-8243-177b5a3c44cf
May 1999
Butler, M. J.
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Hartel, P. H.
debf0597-4832-4eb3-8243-177b5a3c44cf
Butler, M. J. and Hartel, P. H.
(1999)
Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp.
ACM Transactions on Programming Languages and Systems, 21 (3), .
Abstract
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.
More information
Published date: May 1999
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250484
URI: http://eprints.soton.ac.uk/id/eprint/250484
PURE UUID: fb53f4b2-5016-4dce-9c89-9fae822fd123
Catalogue record
Date deposited: 30 Sep 1999
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
M. J. Butler
Author:
P. H. Hartel
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics