量子程序设计

论文信息（2000，MPC）：Jeff W. Sanders、Paolo Zuliani。DOI

工作

本文把量子程序放进程序设计语言和程序语义的传统问题中考察。核心思路是使用 guarded commands（守卫命令）表达条件选择，再结合概率程序的推理方式描述测量带来的分支。这样，量子操作、经典控制和概率结果可以在同一套程序结构中讨论，而不是只把算法画成静态线路。

主要贡献

• 将守卫命令风格引入量子程序表达。
• 把测量分支与概率程序方法联系起来，为量子程序的语义推理提供早期框架。
• 展示量子程序设计可以沿用程序语言中的组合、分支和规范化思路。

局限与适用范围

这是早期的形式化程序模型，不能直接视为现代量子语言的完整实现规范。其抽象语义不自动覆盖现实硬件噪声、编译器优化、资源估计或动态设备约束；对量子数据、类型安全和高阶函数的处理也需要结合后续语言工作理解。论文中的概率解释还必须与具体的测量和终止约定一起读取。

与其他工作的关系

它承接了 量子伪代码约定 对程序表达的关注，并把重点推进到守卫命令和语义组合。Selinger 的 QPL 语言 进一步提供类型化语言与超算子语义；van Tonder 的 量子 Lambda 演算 则以线性相关的函数式演算和等式证明进行对照。三者都研究“如何写量子程序”，但抽象层次不同。

原论文

Jeff W. Sanders and Paolo Zuliani, Quantum Programming, in Mathematics of Program Construction (2000), DOI: 10.1007/10722010_6.