量子谓词编程
量子物理
2008-02-19 v1 编程语言
摘要
本工作的主题是量子谓词编程——即面向在量子计算机上执行的程序开发研究。我们在程序开发的形式化方法或编程方法论背景下考察编程。我们的工作基于概率谓词编程，这是已确立的谓词编程的最近推广。它支持这样一种程序开发风格：每步编程在其进行时被证明正确。我们继承了该理论的优点，如通用性、对递归程序的简单处理、时间与空间复杂度以及通信。我们的量子编程理论提供了在相同框架中编写经典与量子规约、开发实现这些规约的量子程序并推理其比较时间与空间复杂度的工具。
引用
@article{arxiv.quant-ph/0602156,
title = {Quantum Predicative Programming},
author = {Anya Tafliovich and E. C. R. Hehner},
journal= {arXiv preprint arXiv:quant-ph/0602156},
year = {2008}
}