量子編程

cQASM，[2]也稱為通用QASM，是一種與硬體無關的QASM，可保證所有量子編譯以及仿真工具之間的互相操作性。它是由TUDelft的QCA實驗室所引入的。

Quil是一種用於量子計算的指令集架構，它首先引入了共享量子/經典的記憶模型。它是由"羅伯特·史密斯"(Robert Smith)、"邁克爾·柯蒂斯"(Michael Curtis)，與"威廉·曾"(William Zeng)在"實用量子指令集架構"(A Practical Quantum Instruction Set Architecture)一文中介紹的。[3]許多量子算法（包括量子隱形傳態、量子誤差更正、模擬、[4][5]以及優化演算法[6]）需要共享記憶架構。

OpenQASM[7]是 IBM 引入用於Qiskit及IBM量子體驗平台的中介表示。

Blackbird[8][9]是哈納杜量子技術公司及史特貝利菲爾德公司(Strawberry Fields)使用的量子指令集與中介所表示的。Blackbird旨在表示可以於光子量子硬體上運行的連續可變量子程序。

命令式语言最著名的代表是 QCL、[10] LanQ[11] 和 Q|SI>。[12]

正在致力于开发用于量子计算的函数式编程语言。函数式编程语言非常适合进行程序推理。一些示例包括 Selinger 的 QPL[13]、Haskell 类 Altenkirch 和 Graattage 的 QML 语言[14][15]。高阶量子编程语言，基于lambda演算，由 van Tonder[16]、Selinger 和 Valiron[17] 以及 Arrighi 和 Dowek[18] 提出。