支持量子计算技术应用的符号量子编程
Symbolic quantum programming for supporting applications of quantum computing technologies
AI总结：
本文概述了量子软件开发工具的现状与优缺点，提出了一种支持符号操作、函数式编程且兼容高性能与云计算的量子程序开发架构，并展示了其在量子软件测试与电路构建中的应用。
摘要：
本文的目标是概述当前最先进的技术，提供开发量子软件工具的经验报告，并概述开发支持量子计算技术需求的符号编程的量子编程工具的前景。本文的主要关注点是量子计算技术，因为它们能以最直接的方式从开发支持量子电路符号操作的工具以及提供用于创建、优化和测试量子程序的软件工具中受益。我们对量子软件开发领域最受欢迎的方法进行了简短调查，并旨在指出它们的优缺点。这有助于制定应包含在量子计算框架中的理想特性列表。接下来，我们描述了一种软件架构及其初步实现，该实现支持使用符号方法开发量子程序，鼓励函数式编程范式，同时实现与高性能计算和云计算的集成。所描述的软件由为满足不同需求而开发的几个包组成，但它们共享共同的设计概念。我们还概述了所提出的方法如何用于量子软件工程中的任务，即量子软件测试和量子电路构建。
英文摘要：
The goal of this paper is to deliver the overview of the current state of the art, to provide experience report on developing quantum software tools, and to outline the perspective for developing quantum programming tools supporting symbolic programming for the needs of quantum computing technologies. The main focus of this paper is on quantum computing technologies, as they can in the most direct way benefit from developing tools enabling the symbolic manipulation of quantum circuits and providing software tools for creating, optimizing, and testing quantum programs. We deliver a short survey of the most popular approaches in the field of quantum software development and we aim at pointing their strengths and weaknesses. This helps to formulate a list of desirable characteristics which should be included in quantum computing frameworks. Next, we describe a software architecture and its preliminary implementation supporting the development of quantum programs using symbolic approach, encouraging the functional programming paradigm, and, at the same, time enabling the integration with high-performance and cloud computing. The described software consists of several packages developed to address different needs, but nevertheless sharing common design concepts. We also outline how the presented approach could be used in tasks in quantum software engineering, namely quantum software testing and quantum circuit construction.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
