Q |SI⟩ : A Quantum Programming Environment

被引：9

作者：

Liu, Shusen ^{[1
]}

Wang, Xin ^{[1
]}

Zhou, Li ^{[1
]}

Guan, Ji ^{[1
]}

Li, Yinan ^{[1
]}

He, Yang ^{[1
]}

Duan, Runyao ^{[1
]}

Ying, Mingsheng ^{[1
,2
,3
]}

机构：

[1] Univ Technol Sydney, Fac Engn & Informat Technol, Ctr Quantum Software & Informat, Ultimo, NSW 2007, Australia

[2] Tsinghua Univ, Dept Comp Sci & Technol, Beijing 100084, Peoples R China

[3] Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China

来源：

SYMPOSIUM ON REAL-TIME AND HYBRID SYSTEMS: ESSAYS DEDICATED TO PROFESSOR CHAOCHEN ZHOU ON THE OCCASION OF HIS 80TH BIRTHDAY | 2018年 / 11180卷

关键词：

Quantum programming; Quantum compilation; Quantum simulation; Quantum program analysis; Quantum program verification; KEY DISTRIBUTION; ARCHITECTURE;

D O I：

10.1007/978-3-030-01461-2_8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper describes a quantum programming environment, named Q vertical bar SI >, to support quantum programming using a quantum extension of the while-language. Embedded in the.Net framework, the Q vertical bar SI > platform includes a quantum while-language compiler and a suite of tools to simulate quantum computation, optimize quantum circuits, analyze and verify quantum programs. This paper demonstrates Q vertical bar SI > in use. Quantum behaviors are simulated on classical platforms with a combination of components and the compilation procedures for different back-ends are described in detail. Q vertical bar SI > bridges the gap between quantum hardware and software. As a scalable framework, this platform allows users to code and simulate customized functions, optimize them for a range of quantum circuits, analyze the termination of a quantum program, and verify the program's correctness (The software of Q vertical bar SI > is available at http://www-qcompiler.com.).

引用

页码：133 / 164

页数：32

共 50 条

[21] THE TRELLIS PROGRAMMING ENVIRONMENT
OBRIEN, PD
HALBERT, DC
KILIAN, MF
[J]. SIGPLAN NOTICES, 1987, 22 (12): : 91 - 102
[22] GRAPE PROGRAMMING ENVIRONMENT
PALMER, TR
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1987, 29 (04) : 219 - 225
[23] THE INTERLISP PROGRAMMING ENVIRONMENT
TEITELMAN, W
MASINTER, L
[J]. COMPUTER, 1981, 14 (04) : 25 - 33
[24] UNIXTM PROGRAMMING ENVIRONMENT
KERNIGHAN, BW
MASHEY, JR
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 1979, 9 (01): : 1 - 15
[25] A PROGRAMMING ENVIRONMENT FOR CSP
DELISLE, N
SCHWARTZ, M
[J]. SIGPLAN NOTICES, 1987, 22 (01): : 34 - 41
[26] AN INCREMENTAL PROGRAMMING ENVIRONMENT
MEDINAMORA, R
FEILER, PH
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (05) : 472 - 482
[27] A PARALLEL PROGRAMMING ENVIRONMENT
ALLEN, JR
KENNEDY, K
[J]. IEEE SOFTWARE, 1985, 2 (04) : 21 - 29
[28] PROGEN - A PROGRAMMING ENVIRONMENT
VERMAAK, D
[J]. SIGPLAN NOTICES, 1983, 18 (03): : 46 - 47
[29] An origami programming environment
Takahashi, H
Ida, T
[J]. CHALLENGING THE BOUNDARIES OF SYMBOLIC COMPUTATION, 2003, : 413 - 420
[30] THE MESA PROGRAMMING ENVIRONMENT
SWEET, RE
[J]. SIGPLAN NOTICES, 1985, 20 (07): : 216 - 229

← 1 2 3 4 5 →