Quantum Programming Languages and Compilers

量子编程语言和编译器

• 批准号: 2431648
• 金额: --
• 依托单位: University of Bristol
• 依托单位国家: 英国
• 项目类别: Studentship
• 财政年份: 2020
• 资助国家: 英国
• 起止时间: 2020 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=studentship-2431648
• 关键词: Quantum; Programming; Languages; Compilers

Higher-level languages are especially important in quantum programming as most current languages are still at the assembly level and equire the programmer to handcraft an optimized implementation for a particular problem instance and hardware target. They also shape the way we think about algorithms. Another important aspect of high-level languages is that they allow us to research and develop compilersand techniques for optimising low-level hardware instructions. This project will explore the compiler stack for a quantum programming language. It will look at different aspects of programming languages with the goal of producing a more easy to use and intuitive high-level quantum programming language. We will explore connections between programming languages and diagramatic reasoning, high-level algorithmic paradigms and abstractions, intermediate representations for quantum programs and different low-level circuit optimisation strategies. All of this with the goal to develop both theoretical and practical tools that make quantum programming easier and more efficient.

高级语言在量子编程中尤其重要，因为大多数当前语言仍处于组装级别，并等同程序员将针对特定问题实例和硬件目标进行优化实现。它们还塑造了我们对算法的看法。高级语言的另一个重要方面是，它们使我们能够研究和开发编译和技术以优化低级硬件说明。该项目将探索用于量子编程语言的编译器堆栈。它将查看编程语言的不同方面，目的是产生更易于使用和直观的高级量子编程语言。我们将探讨编程语言与图表推理，高级算法范式和抽象，量子程序中的中间表示以及不同的低级电路优化策略之间的联系。所有这些都旨在开发理论和实用工具，以使量子编程变得更加容易，更高效。