Quantum programming: From theories to implementations

Ying, MS; Feng, Y; Duan, RY; Li, YJ; Yu, NK

Quantum programming: From theories to implementations

Ying, MS

Feng, Y

Duan, RY

Li, YJ Yu, NK

Permalink

Publication Type:: Journal Article
Citation:: Chinese Science Bulletin, 2012, 57 (16), pp. 1903 - 1909
Issue Date:: 2012-06-01

Closed Access

	Filename	Description	Size
	2011005520OK.pdf		416.36 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Ying, MS https://orcid.org/0000-0003-4847-702X	en_US
dc.contributor.author	Feng, Y https://orcid.org/0000-0002-3097-3896	en_US
dc.contributor.author	Duan, RY https://orcid.org/0000-0002-4388-7487	en_US
dc.contributor.author	Li, YJ	en_US
dc.contributor.author	Yu, NK https://orcid.org/0000-0003-1188-3032	en_US
dc.date.issued	2012-06-01	en_US
dc.identifier.citation	Chinese Science Bulletin, 2012, 57 (16), pp. 1903 - 1909	en_US
dc.identifier.issn	1001-6538	en_US
dc.identifier.uri	http://hdl.handle.net/10453/22234
dc.description.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. © 2012 The Author(s).	en_US
dc.relation.ispartof	Chinese Science Bulletin	en_US
dc.relation.isbasedon	10.1007/s11434-012-5147-6	en_US
dc.subject.classification	Geochemistry & Geophysics	en_US
dc.title	Quantum programming: From theories to implementations	en_US
dc.type	Journal Article
utslib.citation.volume	16	en_US
utslib.citation.volume	57	en_US
utslib.for	0801 Artificial Intelligence and Image Processing	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - QSI - Centre for Quantum Software and Information
utslib.copyright.status	closed_access
pubs.issue	16	en_US
pubs.publication-status	Published	en_US
pubs.volume	57	en_US

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. © 2012 The Author(s).

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/22234