Q |SI⟩ : A Quantum Programming Environment

This paper describes a quantum programming environment, named Q vertical bar SI >, to support quantum programming using a quantum extension of the while-language. Embedded in the.Net framework, the Q vertical bar 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 vertical bar 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 vertical bar 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 vertical bar SI > is available at http://www-qcompiler.com.).