元QASM swMATH ID: 34646 软件作者： 艾米、马修 描述： 低级量子元编程的大小类型。量子电路设计最基本的方面之一是通过实例大小参数化的电路族概念。与经典编程一样，元编程允许程序员同时编写整个系列的电路，这一能力在量子计算环境中尤为重要，因为算法经常使用非标准字长的算术。在这项工作中，我们介绍了metaQASM，它是openQASM语言的一种类型化扩展，支持电路族的元编程。我们的语言和类型系统是围绕大小类型的轻量级实现构建的，支持在寄存器大小上进行子类型化，而且是类型安全的。特别地，我们证明了我们的系统是强规范化的，因此任何类型良好的metaQASM程序都可以静态展开为一个有限的电路。 主页： https://arxiv.org/abs/11908.02644 关键词： 量子程序设计;电路描述语言;元编程 相关软件： QPL公司;质量管理清单;cQASM公司;PyZX公司;费曼;打开QASM;草莓地;量子++;森林;github;ScaffCC公司;项目Q;镊子 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 低级量子元编程的大小类型。 Zbl 1527.68034号艾米、马修 2019 1位作者引用 1 艾米、马修 0连载引用 在2个字段中引用 1 计算机科学（68至XX） 1 量子理论（81-XX） 按年份列出的引文