Quantum programming: From theories to implementations

Publication Type:
Journal Article
Chinese Science Bulletin, 2012, 57 (16), pp. 1903 - 1909
Issue Date:
Filename Description Size
Thumbnail2011005520OK.pdf416.36 kB
Adobe PDF
Full metadata record
This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out. © 2012 The Author(s).
Please use this identifier to cite or link to this item: