Quip-E 程序的量子马尔可夫链语义
量子物理
2020-06-05 v1 计算机科学中的逻辑
摘要
在这项工作中，我们提出了从量子编程语言 Quipper 的一个称为 Quip-E 的片段到 QPMC 模型检测器语义的映射，旨在实现量子程序的自动验证。作为主要成果，我们为 Quip-E 语言定义了对应于量子马尔可夫链的结构化操作语义，并将其作为通过 QPMC 模型检测器分析量子程序的基础。我们证明了该语义的性质，并在开发从量子程序到量子马尔可夫链的翻译工具的过程中对其进行了语境化。
引用
@article{arxiv.2006.02847,
title = {Quantum Markov Chain Semantics for Quip-E Programs},
author = {Linda Anticoli and Leonardo Taglialegne},
journal= {arXiv preprint arXiv:2006.02847},
year = {2020}
}