Quantum programming: From theories to implementations

Ming Sheng Ying; Yuan Feng; Run Yao Duan; Yang Jia Li; Neng Kun Yu

doi:10.1007/s11434-012-5147-6

Quantum programming: From theories to implementations

Ming Sheng Ying
, Yuan Feng
, Run Yao Duan
, Yang Jia Li
, Neng Kun Yu

Computer Science

University of Technology Sydney
Tsinghua University

Research output: Contribution to journal › Review article › peer-review

9 Scopus citations

Abstract

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.

Original language	English
Pages (from-to)	1903-1909
Number of pages	7
Journal	Chinese Science Bulletin
Volume	57
Issue number	16
DOIs	https://doi.org/10.1007/s11434-012-5147-6
State	Published - Jun 2012

Keywords

engineered quantum systems
programming languages
quantum computation
semantics
verification

Access to Document

10.1007/s11434-012-5147-6

Cite this

@article{fbf09e121fad4e6da8195bc4e8d1519c,

title = "Quantum programming: From theories to implementations",

abstract = "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.",

keywords = "engineered quantum systems, programming languages, quantum computation, semantics, verification",

author = "Ying, \{Ming Sheng\} and Yuan Feng and Duan, \{Run Yao\} and Li, \{Yang Jia\} and Yu, \{Neng Kun\}",

year = "2012",

month = jun,

doi = "10.1007/s11434-012-5147-6",

language = "English",

volume = "57",

pages = "1903--1909",

journal = "Chinese Science Bulletin",

issn = "1001-6538",

number = "16",

}

TY - JOUR

T1 - Quantum programming

T2 - From theories to implementations

AU - Ying, Ming Sheng

AU - Feng, Yuan

AU - Duan, Run Yao

AU - Li, Yang Jia

AU - Yu, Neng Kun

PY - 2012/6

Y1 - 2012/6

N2 - 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.

AB - 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.

KW - engineered quantum systems

KW - programming languages

KW - quantum computation

KW - semantics

KW - verification

UR - https://www.scopus.com/pages/publications/84861749385

U2 - 10.1007/s11434-012-5147-6

DO - 10.1007/s11434-012-5147-6

M3 - Review article

AN - SCOPUS:84861749385

SN - 1001-6538

VL - 57

SP - 1903

EP - 1909

JO - Chinese Science Bulletin

JF - Chinese Science Bulletin

IS - 16

ER -

Quantum programming: From theories to implementations

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this