Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL
Abstrak
Quantum computing exploits quantum phenomena such as superposition and entanglement to realize a form of parallelism that is not available to traditional computing. It offers the potential of significant computational speed-ups in quantum chemistry, materials science, cryptography, and machine learning. The dominant approach to programming quantum computers is to provide an existing high-level language with libraries that allow for the expression of quantum programs. This approach can permit computations that are meaningless in a quantum context; prohibits succint expression of interaction between classical and quantum logic; and does not provide important constructs that are required for quantum programming. We present Q#, a quantum-focused domain-specific language explicitly designed to correctly, clearly and completely express quantum algorithms. Q# provides a type system; a tightly constrained environment to safely interleave classical and quantum computations; specialized syntax; symbolic code manipulation to automatically generate correct transformations of quantum operations; and powerful functional constructs which aid composition.
Topik & Kata Kunci
Penulis (10)
K. Svore
Alan Geller
M. Troyer
J. Azariah
C. Granade
B. Heim
V. Kliuchnikov
Mariia Mykhailova
Andres Paz
M. Rötteler
Akses Cepat
- Tahun Terbit
- 2018
- Bahasa
- en
- Total Sitasi
- 337×
- Sumber Database
- Semantic Scholar
- DOI
- 10.1145/3183895.3183901
- Akses
- Open Access ✓