Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp

M.J. Butler; Pieter H. Hartel

doi:10.1145/319301.319303

Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp

M.J. Butler, Pieter H. Hartel

Research output: Contribution to journal › Article › Academic › peer-review

10 Citations (Scopus)

81 Downloads (Pure)

Abstract

Grover's search algorithm is designed to be executed on a quantum mechanical computer. In this paper, 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 modelling this and other quantum algorithms and that it also provides a systematic framework of analysing such algorithms.

Original language	Undefined
Pages (from-to)	417-429
Number of pages	13
Journal	ACM Transactions on Programming Languages and Systems (TOPLAS)
Volume	21
Issue number	3
DOIs	https://doi.org/10.1145/319301.319303
Publication status	Published - May 1999

Keywords

EWI-1008
IR-55691

Access to Document

10.1145/319301.319303

dsse-tr-98-10b

http://doi.acm.org/10.1145/319301.319303

Cite this

@article{2daf706fd9084a2a88e7fb146e10f07a,

title = "Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp",

abstract = "Grover's search algorithm is designed to be executed on a quantum mechanical computer. In this paper, 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 modelling this and other quantum algorithms and that it also provides a systematic framework of analysing such algorithms.",

keywords = "EWI-1008, IR-55691",

author = "M.J. Butler and Hartel, {Pieter H.}",

note = "Imported from DIES",

year = "1999",

month = may,

doi = "10.1145/319301.319303",

language = "Undefined",

volume = "21",

pages = "417--429",

journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",

issn = "0164-0925",

publisher = "Association for Computing Machinery",

number = "3",

}

TY - JOUR

T1 - Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp

AU - Butler, M.J.

AU - Hartel, Pieter H.

N1 - Imported from DIES

PY - 1999/5

Y1 - 1999/5

N2 - Grover's search algorithm is designed to be executed on a quantum mechanical computer. In this paper, 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 modelling this and other quantum algorithms and that it also provides a systematic framework of analysing such algorithms.

AB - Grover's search algorithm is designed to be executed on a quantum mechanical computer. In this paper, 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 modelling this and other quantum algorithms and that it also provides a systematic framework of analysing such algorithms.

KW - EWI-1008

KW - IR-55691

U2 - 10.1145/319301.319303

DO - 10.1145/319301.319303

M3 - Article

SN - 0164-0925

VL - 21

SP - 417

EP - 429

JO - ACM Transactions on Programming Languages and Systems (TOPLAS)

JF - ACM Transactions on Programming Languages and Systems (TOPLAS)

IS - 3

ER -