标题： 量子循环的指称语义 显示英文标题

标题： A Denotational Semantics for Quantum Loops

摘要： 编程量子计算机，即在基于量子处理器的计算机架构上实现量子算法，是一项可以像经典计算机一样在不同抽象层次上解决的任务。 本文提出了一个高阶量子编程结构的表示语义，重点在于量子控制分支和迭代的概念含义。 我们引入了一个表示域，其中可以定义带有循环的量子控制流的数学意义，这反映了实现该程序的量子系统的相干演化。 显示英文摘要

摘要： Programming a quantum computer, i.e., implementing quantum algorithms on a quantum processor-based copmputer architecture, is a task that can be addressed (just as for classical computers) at different levels of abstraction. This paper proposes a denotational semantics for high-level quantum programming constructs, focusing on the conceptual meaning of quantum-controlled branching and iteration. We introduce a denotational domain where a mathematical meaning of a quantum control flow with loops can be defined, which reflects the coherent evolution of the quantum system implementing the program.