Q

Liu, S; Wang, X; Zhou, L; Guan, J; Li, Y; He, Y; Duan, R; Ying, M

Q

Liu, S Wang, X

Zhou, L Guan, J

Li, Y He, Y Duan, R

Ying, M

Permalink

Publication Type:: Chapter
Citation:: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 11180 LNCS pp. 133 - 164
Issue Date:: 2018-01-01

Closed Access

	Filename	Description	Size
	Q.pdf	Published version	781.76 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	Liu, S	en_US
dc.contributor.author	Wang, X https://orcid.org/0000-0002-0641-3186	en_US
dc.contributor.author	Zhou, L	en_US
dc.contributor.author	Guan, J https://orcid.org/0000-0002-3490-0029	en_US
dc.contributor.author	Li, Y	en_US
dc.contributor.author	He, Y	en_US
dc.contributor.author	Duan, R https://orcid.org/0000-0002-4388-7487	en_US
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X	en_US
dc.date.issued	2018-01-01	en_US
dc.identifier.citation	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 11180 LNCS pp. 133 - 164	en_US
dc.identifier.uri	http://hdl.handle.net/10453/133223
dc.description.abstract	© Springer Nature Switzerland AG 2018. This paper describes a quantum programming environment, named Q\| SI⟩, to support quantum programming using a quantum extension of the while -language. Embedded in the.Net framework, the Q\| SI⟩ platform includes a quantum while -language compiler and a suite of tools to simulate quantum computation, optimize quantum circuits, analyze and verify quantum programs. This paper demonstrates Q\| SI⟩ in use. Quantum behaviors are simulated on classical platforms with a combination of components and the compilation procedures for different back-ends are described in detail. Q\| SI⟩ bridges the gap between quantum hardware and software. As a scalable framework, this platform allows users to code and simulate customized functions, optimize them for a range of quantum circuits, analyze the termination of a quantum program, and verify the program’s correctness (The software of Q\| SI⟩ is available at http://www.qcompiler.com.).	en_US
dc.relation.ispartof	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)	en_US
dc.relation.isbasedon	10.1007/978-3-030-01461-2_8	en_US
dc.subject.classification	Artificial Intelligence & Image Processing	en_US
dc.title	Q	en_US
dc.type	Chapter
utslib.citation.volume	11180 LNCS	en_US
utslib.for	0802 Computation Theory and Mathematics	en_US
utslib.for	0806 Information Systems	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/Faculty of Engineering and Information Technology/School of Computer Science
pubs.organisational-group	/University of Technology Sydney/Strength - QSI - Centre for Quantum Software and Information
pubs.organisational-group	/University of Technology Sydney/Students
utslib.copyright.status	closed_access
pubs.publication-status	Published	en_US
pubs.volume	11180 LNCS	en_US

Abstract:

© Springer Nature Switzerland AG 2018. This paper describes a quantum programming environment, named Q| SI⟩, to support quantum programming using a quantum extension of the while -language. Embedded in the.Net framework, the Q| SI⟩ platform includes a quantum while -language compiler and a suite of tools to simulate quantum computation, optimize quantum circuits, analyze and verify quantum programs. This paper demonstrates Q| SI⟩ in use. Quantum behaviors are simulated on classical platforms with a combination of components and the compilation procedures for different back-ends are described in detail. Q| SI⟩ bridges the gap between quantum hardware and software. As a scalable framework, this platform allows users to code and simulate customized functions, optimize them for a range of quantum circuits, analyze the termination of a quantum program, and verify the program’s correctness (The software of Q| SI⟩ is available at http://www.qcompiler.com.).

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

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