量子编程中通信的语义与模拟
量子物理
2007-05-23 v1 编程语言
摘要
我们提出量子编程语言cQPL，其为QPL的扩展版本[P. Selinger, Math. Struct. in Comp. Sci. 14(4):527-586, 2004]。它支持量子通信，并可用于表述所有可能的量子算法。此外，它具备基于超算符偏序的指称语义，并在广义希尔伯特空间上使用不动点来形式化（除量子编程语言所预期的所有标准特性外）任意数量参与者之间经典与量子数据的交换。另外，我们给出了一个cQPL编译器的实现，该编译器为量子模拟器生成代码。
引用
@article{arxiv.quant-ph/0511145,
title = {Semantics and simulation of communication in quantum programming},
author = {Wolfgang Mauerer},
journal= {arXiv preprint arXiv:quant-ph/0511145},
year = {2007}
}
备注
Master's thesis, 101 pages