量子伪代码约定

论文信息（1996 技术报告，2022 年补存 arXiv）：Emanuel Knill。原论文

工作

这份报告讨论如何书写和阅读量子伪代码，使同一套记号能够从算法层一直描述到较低层的量子操作。它以 quantum random access machine（QRAM）模型为背景，区分量子数据、经典控制和测量等不同角色，并把这些约定组织成可执行直觉与形式化语言之间的中间层。arXiv 页面说明该文本原为 1996 年报告，后于 2022 年以现代格式重新公开。

主要贡献

• 为量子算法给出早期、相对统一的伪代码书写约定。
• 让量子操作与经典控制在同一程序描述中可见，便于讨论测量、条件操作和数据访问。
• 提出一种可以继续形式化、甚至作为传统语言扩展基础的表达方式。

局限与适用范围

这是面向记号和程序表达的技术报告，不是完整编译器、类型系统或硬件实现。QRAM 是理想化计算模型；报告本身不提供噪声、门成本、设备连通性或现实编译流程的保证。2022 年的 arXiv 条目是旧报告的重新存档，引用时应同时注明原始年份与存档来源。

与其他工作的关系

它为后续量子程序表示提供了早期词汇，可与 量子程序设计 的守卫命令方法对照。Selinger 的 QPL 语言 进一步把程序语法、类型和超算子语义组织成语言设计；van Tonder 的 量子 Lambda 演算 则从函数式演算与等式推理角度处理类似问题。

原论文

Emanuel Knill, Conventions for Quantum Pseudocode, LANL technical report LAUR-96-2724 (1996), reissued as arXiv:2211.02559.

1996 年原报告无已确认的出版 DOI；2022 年 arXiv 存档 DOI 为 10.48550/arXiv.2211.02559。成果年份仍为 1996。