DMCA
Quantum Programming (1999)
Cached
Download Links
- [ftp.comlab.ox.ac.uk]
- [web.comlab.ox.ac.uk]
- DBLP
Other Repositories/Bibliography
| Venue: | In Mathematics of Program Construction |
| Citations: | 81 - 3 self |
BibTeX
@INPROCEEDINGS{Sanders99quantumprogramming,
author = {J. W. Sanders and P. Zuliani},
title = {Quantum Programming},
booktitle = {In Mathematics of Program Construction},
year = {1999},
pages = {80--99},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In this paper a programming language is presented for the expression of quantum algorithms. It contains the features required to program a `universal' quantum computer (including initialisation and observation), has a formal semantics and body of laws, and provides a renement calculus supporting the verication and derivation of programs against their specications. A representative selection of quantum algorithms are expressed in the language and one of them is derived from its specication. 1 1 Introduction The purpose of this paper is to present a programming language for quantum computation. So far quantum algorithms have been described by pseudo code or quantum network [6, 0]. To a computer scientist the former has little attraction. The latter provides a data-ow view of computation and so is useful when considering implementation in terms of gates (a view which is perhaps slightly premature since we have little idea what might constitute the primitive gates). Whilst it expre...
