首先给出了量子最弱自由前置条件（weakest liberal precondition,简称wlp）wlp （A,B,C）-可交换的定义,研究了wlp （A,B,C）-可交换的充分必......

量子计算研究主要有物理学家和计算机科学家两支力量,前者关注的是量子计算的物理实现,后者关注的是量子程序设计语言的理论和实现......