The Community for Technology Leaders
Green Image
Issue No. 04 - July/August (2011 vol. 37)
ISSN: 0098-5589
pp: 466-485
Mingsheng Ying , University of Technology, Sydney and Tsinghua University, Beijing
Yuan Feng , University of Technology, Sydney and Tsinghua University, Beijing
ABSTRACT
Several high-level quantum programming languages have been proposed in the previous research. In this paper, we define a low-level flowchart language for quantum programming, which can be used in implementation of high-level quantum languages and in design of quantum compilers. The formal semantics of the flowchart language is given, and the notion of correctness for programs written in this language is introduced. A structured quantum programming theorem is presented, which provides a technique of translating quantum flowchart programs into programs written in a high-level language, namely, a quantum extension of the while-language.
INDEX TERMS
Quantum programming, flowchart language, while-language, structured programming.
CITATION
Mingsheng Ying, Yuan Feng, "A Flowchart Language for Quantum Programming", IEEE Transactions on Software Engineering, vol. 37, no. , pp. 466-485, July/August 2011, doi:10.1109/TSE.2010.94
106 ms
(Ver 3.1 (10032016))