×

qPCF(质量PCF)

swMATH ID: 20267
软件作者: 卢卡·保里尼;玛格丽塔·佐齐
描述: qPCF:量子电路计算语言。我们提出了qPCF,这是一种能够以简单直观的方式定义和操作量子电路的函数语言。qPCF遵循“量子数据和经典控制”语言的传统,受QRAM模型的启发。理想情况下,qPCF计算有限的电路描述,这些描述被卸载到量子协处理器(即量子设备)以执行。qPCF用一种新的数据类型:量子电路扩展了PCF。qPCF的类型与涉及线性/指数形式的主流“量子数据和经典控制”语言大不相同。qPCF使用简单形式的依赖类型来管理电路,使用隐式形式的单子来通过破坏性度量运算符管理量子状态。
主页: https://link.springer.com/chapter/10.1007%2F978-3-319-55911-7_33
相关软件: QPL公司;质量管理清单;Quipper公司;QWire公司
引用于: 4文件

3篇连载文章中引用

1 理论计算机科学
1 自动推理杂志
1 公理

按年份列出的引文