Cited By
View all- Colledan ADal Lago U(2024)Circuit Width Estimation via Effect Typing and Linear DependencyProgramming Languages and Systems10.1007/978-3-031-57267-8_1(3-30)Online publication date: 5-Apr-2024
Toward a universal quantum programming language
Pages 14 - 17
Abstract
Quantum computing may be more powerful than classical computing, but it has a radically different programming model. While current languages are in their infancy and future languages are likely to be different, now is a great time for language designers and implementers to try new ideas.
References
[1]
Botea, A. et al. On the complexity of quantum circuit compilation. In Proceedings of Symposium on Combinatorial Search (SOCS'18), 2018.
[2]
Venturelli, D. et al. Quantum circuit compilation: An emerging application for automated reasoning. In Proceedings of The Scheduling and Planning Applications woRKshop (SPARK'19), 2019.
[3]
Hattori, W. and Yamashita, S. Quantum circuit optimization by changing the gate order for 2D nearest neighbor architectures. In International Conference on Reversible Computation (RC'18), 2018, 228--243.
[4]
Itoko, T. et al. Quantum circuit compilers using gate commutation rules. In Proceedings of the Asia and South Pacific Design Automation Conference (ASPDAC'19), 2019, 191--196.
[5]
Meuli, G. et al. SAT-based {CNOT, T} quantum circuit synthesis. In International Conference on Reversible Computation (RC'18), 2018, 175--188.
[6]
Nam, Y. S. et al. Automated optimization of large quantum circuits with continuous parameters. npj Quantum Information 4, 1 (2018), 23.
[7]
Shi, Y. et al. Optimized compilation of aggregated instructions for realistic quantum computers. In Proceedings of the 24th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'19), 2019, 1031--1044.
Index Terms
- Toward a universal quantum programming language
Recommendations
Ket Quantum Programming
Quantum programming languages (QPL) fill the gap between quantum mechanics and classical programming constructions, simplifying the development of quantum applications. However, most QPL addresses the inherent quantum programming problem, neglecting ...
A Flowchart Language for Quantum Programming
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 ...
Comments
Information & Contributors
Information
Published In
Fall 2019
62 pages
ISSN:1528-4972
EISSN:1528-4980
DOI:10.1145/3363438
- Editors:
- Diane Golay,
- Gierad Laput
Copyright © 2019 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 17 September 2019
Published in XRDS Volume 26, Issue 1
Check for updates
Qualifiers
- Research-article
- Popular
- Refereed
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 1,247Total Downloads
- Downloads (Last 12 months)344
- Downloads (Last 6 weeks)22
Reflects downloads up to 12 Sep 2024
Other Metrics
Citations
Cited By
View all- Colledan ADal Lago U(2024)Circuit Width Estimation via Effect Typing and Linear DependencyProgramming Languages and Systems10.1007/978-3-031-57267-8_1(3-30)Online publication date: 5-Apr-2024
View Options
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderDigital Edition
View this article in digital edition.
Digital EditionMagazine Site
View this article on the magazine site (external)
Magazine SiteGet Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in