Towards a quantum programming language. Selinger, P. Mathematical Structures in Computer Science, 14(4):527–586, August, 2004. ZSCC: 0000395 Publisher: Cambridge University Press Citation Key Alias: Selinger2004
Towards a quantum programming language [link]Paper  doi  abstract   bibtex   
We propose the design of a programming language for quantum computing. Traditionally, quantum algorithms are frequently expressed at the hardware level, for instance in terms of the quantum circuit model or quantum Turing machines. These approaches do not encourage structured programming or abstractions such as data types. In this paper, we describe the syntax and semantics of a simple quantum programming language with high-level features such as loops, recursive procedures, and structured data types. The language is functional in nature, statically typed, free of run-time errors, and has an interesting denotational semantics in terms of complete partial orders of superoperators.
@article{Selinger2004,
	title = {Towards a quantum programming language},
	volume = {14},
	issn = {1469-8072, 0960-1295},
	url = {https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/towards-a-quantum-programming-language/54D5BCF28724CA6BE38F98DC4B6803DF},
	doi = {10/fgpw8k},
	abstract = {We propose the design of a programming language for quantum computing. Traditionally, quantum algorithms are frequently expressed at the hardware level, for instance in terms of the quantum circuit model or quantum Turing machines. These approaches do not encourage structured programming or abstractions such as data types. In this paper, we describe the syntax and semantics of a simple quantum programming language with high-level features such as loops, recursive procedures, and structured data types. The language is functional in nature, statically typed, free of run-time errors, and has an interesting denotational semantics in terms of complete partial orders of superoperators.},
	language = {en},
	number = {4},
	urldate = {2019-09-25},
	journal = {Mathematical Structures in Computer Science},
	author = {Selinger, Peter},
	month = aug,
	year = {2004},
	note = {ZSCC: 0000395 
Publisher: Cambridge University Press
Citation Key Alias: Selinger2004},
	pages = {527--586}
}

Downloads: 0