机构名称：
¥ 3.0
现有的量子语言迫使程序员在较低的抽象层次上工作，从而导致代码不直观且混乱。一个根本原因是，从程序状态中删除临时值需要明确应用量子操作来安全地取消计算这些值。我们提出了 Silq，这是第一种通过支持安全、自动取消计算来解决这一挑战的量子语言。这可以实现一种直观的语义，即隐式地删除临时值，就像在经典计算中一样。为了确保 Silq 语义的物理性，其类型系统利用新颖的注释来拒绝非物理程序。我们的实验评估表明，Silq 程序不仅更易于读写，而且比其他量子语言中的等效程序短得多（Q# 平均减少 46%，Quipper 减少 38%），同时仅使用一半的量子原语。
Silq：一种具有安全非计算和直观语义的高级量子语言
主要关键词
相关文件推荐
