量子編程（Quantum programming）是匯編指令序列之行程，稱為量子程序，能夠在量子計算機上運行。量子編程語言使用高級結構化的形式以助表達量子演算法的計算。
量子指令集
量子指令集用於將更高級別的演算法轉換為可以在量子處理器上執行的物理指令。有時這些指令是特定於給定的硬體平台，例如離子阱或。
cQASM
cQASM，也稱為通用QASM，是一種與硬體無關的QASM，可保證所有量子編譯以及仿真工具之間的互相操作性。它是由TUDelft的QCA實驗室所引入的。
Quil
Quil是一種用於量子計算的指令集架構，它首先引入了共享量子/經典的記憶模型。它是由"羅伯特·史密斯"(Robert Smith)、"邁克爾·柯蒂斯"(Michael Curtis)，與"威廉·曾"(William Zeng)在"實用量子指令集架構"(A Practical Quantum Instruction Set Architecture)一文中介紹的。許多量子算法（包括量子隱形傳態、、模擬、以及優化演算法）需要共享記憶架構。
OpenQASM
OpenQASM是 IBM 引入用於Qiskit及的中介表示。
Blackbird
Blackbird是及史特貝利菲爾德公司(Strawberry Fields)使用的量子指令集與中介所表示的。Blackbird旨在表示可以於光子量子硬體上運行的量子程序。
量子编程语言
量子编程语言主要有两类：命令式量子编程语言和函数式量子编程语言。
命令式编程语言
命令式语言最著名的代表是 QCL、 LanQ 和 Q|SI>。
函数式语言
正在致力于开发用于量子计算的函数式编程语言。函数式编程语言非常适合进行程序推理。一些示例包括 Selinger 的 QPL、Haskell 类 Altenkirch 和 Graattage 的 QML 语言。高阶量子编程语言，基于lambda演算，由 van Tonder、Selinger 和 Valiron 以及 Arrighi 和 Dowek 提出。
参見
- 量子计算
- 量子图灵机
- 量子算法
- 秀尔算法
- 量子比特
- 量子信息科学
- 量子计算优越性
註釋
延伸閱讀
*
參閱
*
*
外部連結
- [http://www.dcs.gla.ac.uk/~simon/quantum/ Bibliography on Quantum Programming Languages] (updated in May 2007)
- [http://www.comlab.ox.ac.uk/people/bob.coecke/DCM_QPL_08.html 5th International Workshop on Quantum Physics and Logic]
- [http://www.mathstat.dal.ca/~selinger/qpl2006/ 4th International Workshop on Quantum Programming Languages]
- [http://www.mathstat.dal.ca/~selinger/qpl2005/ 3rd International Workshop on Quantum Programming Languages]
- [http://www.mathstat.dal.ca/~selinger/qpl2004/ 2nd International Workshop on Quantum Programming Languages]
- [https://quantiki.org/wiki/quantum-programming-language Quantum programming language] in [http://www.quantiki.org/ Quantiki]
- [https://github.com/lanl/qmasm/wiki QMASM documentation]
*[https://pyquil.readthedocs.io/en/stable/index.html pyQuil documentation] including [https://pyquil.readthedocs.io/en/stable/intro.html Introduction to Quantum Computing]
- [https://github.com/epiqc/ScaffCC Scaffold Source]
- [https://github.com/markf94/os_quantum_software Curated list] of all open-source quantum software projects
评论 (0)