Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Quantum programming languages: A tentative study
| |
|
Quantum programming languages: A tentative study
JiaFu Xu1  and FangMin Song1
| (1) |
State Key Laboratory for Novel Software Technology, Department of Computer Science and Technology, Nanjing University, Nanjing, 210093, China |
Received: 20 November 2007 Accepted: 19 February 2008 Published online: 21 May 2008
Abstract 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.
Keywords quantum programming languages - language paradigm - imperative programming language - declarative programming language - lexical analyzer - syntactic analyzer - assembler - interpreter
Supported by the National Natural Science Foundation of China (Grant No. 60721002)
References
| 1. |
Feynman R R. Simulating physics with computers. Int J Theor Phys, 1982, 21: 467–488
|
| |
| 2. |
Deutsch D. Quantum theory, the Church-Turing Principle and the universal quantum computer. Proc Royal Soc London Ser A, 1985,
400: 97
|
| |
| 3. |
von Neumann J. Mathematical Foundations of Quantum Mechanics. Princeton: Princeton University Press, 1955
|
| |
| 4. |
Nielson M A, Chuang I L. Quantum Computation and Quantum Information. Cambridge: Cambridge University Press, 2000
|
| |
| 5. |
Zhang X X. Encyclopedia of Computer Science and Technology (in Chinese). 2nd ed. Beijing: Qinghua University Press, 2005
|
| |
| 6. |
Xu J F, Chong C H, Yang F Q, et al. On the design, implementation and use of the systems programming language XCY. In: Information
Processing 80. Oct. 1980. 305–308
|
| |
| 7. |
Knill E. Conventions for Quantum Pseudocode. LANL report LAUR-96-2724 Los Alamos National Laboratory, June 1996
|
| |
| 8. |
Zuliani P. Quantum Programming. Oxford: St Cross College, University of Oxford. Trinity Term 2001
|
| |
| 9. |
Ömer B. Structured quantum programming. Ph.D. thesis. Institute for Theoretical Physics Technical University of Vienna, 2003
|
| |
| 10. |
Baker G D. “Qgol” A system for simulating quantum computation: Theory, implementation and insights. Honours Thesis. Sydney:
Macquarie University, 1996
|
| |
| 11. |
Grattage J J. QML A functional quantum programming language. Ph.D. Thesis. Nottingham: Nottingham University, 2006
|
| |
| 12. |
Xu J F, Yang F Q, Chong C H. Module: A structured programming tool. J Elect (in Chinese), 1982, 12: 6–10
|
| |
| 13. |
Xu J F. On the design principles of programming languages. Comp Tech (in Chinese), 1986, 1: 1–3
|
| |
| 14. |
Xu J F, Wang Z J, Zhai C X. Object Oriented Programming Languages (in Chinese). Nanjing: Nanjing University Press, 1992. 12
|
| |
| 15. |
Xu J F. Systems Programming Languages (in Chinese). Beijing: Science Press, 1983. 6
|
| |
| 16. |
Xu J F, Song F M, Qian S J, et al. Quantum programming language NDQJava. J Software (in Chinese), 2008, 1: 1–8
|
| |
| 17. |
Backus J. Can programming be liberated from the von Neumann style, a functional style and its algebra of programs? ACM, 1978,
21(8): 613–641
|
| |
| 18. |
Backus J, Williams J H, Winners E L, et al. FL Language Manual. Parts 1 and 2. IBM Almaton Research Center, 1989. 10
|
| |
|
|
|
|
|
|