A flowchart language for quantum programming

Ying, M; Feng, Y

A flowchart language for quantum programming

Ying, M

Feng, Y

Permalink

Publication Type:: Journal Article
Citation:: IEEE Transactions on Software Engineering, 2011, 37 (4), pp. 466 - 485
Issue Date:: 2011-08-08

Closed Access

	Filename	Description	Size
	2011003503OK.pdf		1.43 MB	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, M https://orcid.org/0000-0003-4847-702X	en_US
dc.contributor.author	Feng, Y https://orcid.org/0000-0002-3097-3896	en_US
dc.date.issued	2011-08-08	en_US
dc.identifier.citation	IEEE Transactions on Software Engineering, 2011, 37 (4), pp. 466 - 485	en_US
dc.identifier.issn	0098-5589	en_US
dc.identifier.uri	http://hdl.handle.net/10453/18278
dc.description.abstract	Several high-level quantum programming languages have been proposed in the previous research. In this paper, we define a low-level flowchart language for quantum programming, which can be used in implementation of high-level quantum languages and in design of quantum compilers. The formal semantics of the flowchart language is given, and the notion of correctness for programs written in this language is introduced. A structured quantum programming theorem is presented, which provides a technique of translating quantum flowchart programs into programs written in a high-level language, namely, a quantum extension of the while-language. © 2006 IEEE.	en_US
dc.relation.ispartof	IEEE Transactions on Software Engineering	en_US
dc.relation.isbasedon	10.1109/TSE.2010.94	en_US
dc.subject.classification	Software Engineering	en_US
dc.title	A flowchart language for quantum programming	en_US
dc.type	Journal Article
utslib.citation.volume	4	en_US
utslib.citation.volume	37	en_US
utslib.for	0802 Computation Theory and Mathematics	en_US
utslib.for	0803 Computer Software	en_US
utslib.for	0806 Information Systems	en_US
utslib.for	0906 Electrical and Electronic Engineering	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	4	en_US
pubs.publication-status	Published	en_US
pubs.volume	37	en_US

Abstract:

Several high-level quantum programming languages have been proposed in the previous research. In this paper, we define a low-level flowchart language for quantum programming, which can be used in implementation of high-level quantum languages and in design of quantum compilers. The formal semantics of the flowchart language is given, and the notion of correctness for programs written in this language is introduced. A structured quantum programming theorem is presented, which provides a technique of translating quantum flowchart programs into programs written in a high-level language, namely, a quantum extension of the while-language. © 2006 IEEE.

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

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