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.

高级语言在量子编程中尤其重要，因为大多数当前语言仍然处于汇编级，并且要求程序员手工制作针对特定问题实例和硬件目标的优化实现。它们也塑造了我们思考算法的方式。高级语言的另一个重要方面是，它们允许我们研究和开发优化低级硬件指令的编译器和技术。这个项目将探索量子编程语言的编译器堆栈。它将着眼于编程语言的不同方面，目标是产生一种更易于使用和直观的高级量子编程语言。我们将探索编程语言和数学推理，高级算法范例和抽象，量子程序的中间表示和不同的低级电路优化策略之间的联系。所有这些都是为了开发理论和实践工具，使量子编程更容易，更有效。