论文信息 - Quantum programming languages: A tentative study

Quantum programming languages: A tentative study

Starting with some simple representative quantum programming languages, this paper lays stress on quantum computation, language paradigm, program structure, input/output, exception facility, and especially the recent results of the quantum computation group at Nanjing University, namely the functional quantum programming language NDQFP. All primitive functions and combining forms in NDQFP are given in the appendix.

Jiafu Xu | Fangmin Song | Fangmin Song | Jiafu Xu

[1] D. Deutsch. Quantum theory, the Church–Turing principle and the universal quantum computer , 1985, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.

[2] Xu Jia. Quantum Programming Language NDQJava-2 , 2008 .

[3] Fang-Min Song,et al. Quantum Programming Language NDQJava &: Quantum Programming Language NDQJava & , 2008 .

[4] I. Chuang,et al. Quantum Computation and Quantum Information: Introduction to the Tenth Anniversary Edition , 2010 .

[5] John W. Backus,et al. Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[6] Jonathan Grattage. A functional quantum programming language , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).

[7] R. Feynman. Simulating physics with computers , 1999 .

[8] Fuqing Yang,et al. On the Design, Implementation and Use of the Systems Programming Language XCY , 1980, IFIP Congress.

[9] J. Neumann. Mathematical Foundations of Quantum Mechanics , 1955 .

[10] Jeff W. Sanders,et al. Quantum Programming , 2000, MPC.

[11] E. Knill,et al. Conventions for quantum pseudocode , 1996, 2211.02559.