Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL

By Krysta Marie Svore, Alan Geller, Matthias Troyer, J. Azariah, C. Granade, B. Heim, V. Kliuchnikov, Mariia Mykhailova, A. Paz, Martin Rötteler. International Workshop on Real World Domain Specific Languages, 2018

358 citations recorded by the source corpus.

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.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/3a6fbf92145b2d47a2a37d852283f2f40c17ad65

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

  1. Keisuke Fujii
  2. Ross Duncan
  3. Kosuke Mitarai
  4. Miriam Backens
  5. Bob Coecke
  6. Nathan Killoran
  7. Josh A. Izaac

Citations in the corpus