机构名称：
¥ 10.0
在本文中，我们提出了一种cavy的编译器，Cavy是一种命令性量子编程语言。Cavy系统的主要贡献是将区域推断应用于安全且有效的Ancilla Qubit分配，使用和交易位置，并以可逆子集的编程语言中的位置。此方法可以通过任意Ancilla操作的程序来汇编优化的量子电路。与其他有关Ancilla Deadlocation的最新工作相比，安全分析是Rust编程语言中引入的借用检查器的一种变体。它具有“移动参考”，这是一种独特的参考类型，可以安全地传输其参考文献的所有权。为了解决问题并激发这些特征，我们描述了一个量子算法，其最近的实验实现使传统线性量子量子编程语言的表现力构成表达，并给出了该算法的cav效。
实用的现代量子编程
主要关键词
相关文件推荐
