摘要
This paper describes a quantum programming environment, named $$Q|SIbackslashrangle $$Q|SI⟩ , to support quantum programming using a quantum extension of the $$backslashmathbf while$$while-language. Embedded in the .Net framework, the $$Q|SIbackslashrangle $$Q|SI⟩ platform includes a quantum $$backslashmathbf while$$while-language compiler and a suite of tools to simulate quantum computation, optimize quantum circuits, analyze and verify quantum programs. This paper demonstrates $$Q|SIbackslashrangle $$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|SIbackslashrangle $$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|SIbackslashrangle $$Q|SI⟩ is available at http://www.qcompiler.com.).
