量子编程语言 LanQ 的操作语义与类型可靠性
量子物理
2016-09-08 v1
摘要
我们提出了一种命令式量子编程语言 LanQ，其设计旨在支持量子编程与经典编程的结合，以及基本进程操作——进程创建和进程间通信。因此，该语言可用于实现经典和量子算法及协议。其语法类似于 C 语言，使得现有程序员易于学习。在本文中，我们展示了该语言的操作语义，并证明了该语言非通信部分的类型可靠性。我们提供了一个量子随机数生成器的运行示例。
引用
@article{arxiv.0708.0890,
title = {Operational Semantics and Type Soundness of Quantum Programming Language LanQ},
author = {Hynek Mlnarik},
journal= {arXiv preprint arXiv:0708.0890},
year = {2016}
}
评论
71 pages, 16 figures; simulator available at http://lanq.sf.net/