量子中间表示中的已验证优化
计算机科学中的逻辑
2019-12-09 v4 新兴技术
编程语言
量子物理
摘要
我们提出sqire，一种用于量子计算与验证的低级语言。sqire使用全局量子比特寄存器，便于与现有“量子汇编”语言互相编译，并简化验证过程。我们通过验证若干有用的优化来展示sqire作为量子程序中间表示的能力，并通过证明若干量子程序的正确性来展示sqire作为通用验证工具的用途。
引用
@article{arxiv.1904.06319,
title = {Verified Optimization in a Quantum Intermediate Representation},
author = {Kesha Hietala and Robert Rand and Shih-Han Hung and Xiaodi Wu and Michael Hicks},
journal= {arXiv preprint arXiv:1904.06319},
year = {2019}
}
备注
Superceded by arXiv:1912.02250