Programming with Quantum Communication
Anya Tafliovich, Eric C. R. Hehner
这项工作开发了一个正式的框架，用于指定，实现和分析量子通信协议。我们提供的工具，开发简单的证明和分析程序，涉及通信，无论是通过量子信道和展示LOCC（本地操作，经典通信）的范例。
This work develops a formal framework for specifying, implementing, and analysing quantum communication protocols. We provide tools for developing simple proofs and analysing programs which involve communication, both via quantum channels and exhibiting the LOCC (local operations, classical communication) paradigm.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Semantics and simulation of communication in quantum programming
我们提出了量子编程语言cQPL，它是QPL的扩展版本[P. Selinger，Math.Struct.in Comp.Sci. 14（4）：527-586，2004]。它能够进行量子通信，并且可以用来制定所有可能的量子算法。此外，它拥有基于超算子偏序的指称语义，并使用广义希尔伯特空间上的不动点来形式化（除了量子编程语言预期的所有标准特征之外）任意数量的参与者之间的经典和量子数据的交换。此外，我们提出了一个cQPL编译器，生成量子模拟器的代码的实现。
The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practical ideas. The International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) is dedicated to work in this area. The workshop offers a forum for researchers from different fields to exchange new ideas about these challenges to modern and future programming, where concurrency and distribution are the norm rather than a marginal concern. The topic is central and combi…
Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
本文介绍PLACES 2023研讨会论文集，收录并发与分布式编程领域的五篇研究论文、主旨演讲摘要及其他贡献，为该领域研究者提供交流平台。
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. Declarative programming: Declarative program development, Analysis, Type and mode infere…
Proceedings 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
PLACES 2013（全称：并行和通信中心软件的程序设计语言方法）是PLACES研讨会系列的第六版。自2008年第一届PLACES加入DisCoTec之后，自2009年以来，该研讨会每年都是ETAPS的一部分，现在是ETAPS卫星活动的一部分。今年，PLACES是ETAPS 2013上参加人数最多的研讨会。开办这一系列讲习班是为了促进新的程序设计语言思想应用于为并行和通信是内在方面的系统开发软件这一日益重要的问题。这包括用于多核和众核系统、加速器和大规模分布式和/或面向服务的系统的软件。PLACES的范围包括新的程序设计语言特性、全新的程序设计语言设计、新的类型系统、新的语义方法、新的程序分析技术和新的实现机制。
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are solicited in all areas of logic programming and related areas, including but not restricted to: - Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation. - Declarative Programming: Inference engines, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Logic-based domain-specific …
Modern web programming involves coordinating interactions between browser clients and a server. Typically, the interactions in web-based distributed systems are informally described, making it hard to ensure correctness, especially communication safety, i.e. all endpoints progress without type errors or deadlocks, conforming to a specified protocol. We present STScript, a toolchain that generates TypeScript APIs for communication-safe web development over WebSockets, and RouST, a new session type theory that supports multiparty communications with routing mechanisms. STScript provides develope…
PLACES 2016 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the ninth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop has been part of ETAPS every year since 2009 and is now an established part of the ETAPS satellite events. PLACES 2016 was held on 8th April in Eindhoven, The Netherlands. The workshop series was started in order to promote the application of novel programming language ideas to the increasingly important problem of developing software for systems in which co…
Modern hardware platforms, from the very small to the very large, increasingly provide parallel and distributed computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens, hundreds, and even thousands of compute nodes. Computation in such systems is thus inherently concurrent and communication centric. Effectively programming such applications is challenging; performance, correctness, and scalability are difficult to achieve. The development of effective programming methodologies for this increasingly parallel landscape therefor…
Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
PLACES 2012（全称：面向以并发和通信为中心的软件的程序设计语言方法）是PLACES研讨会系列的第五版。自2008年第一届PLACES加入DisCoTec之后，自2009年以来，该研讨会每年都是ETAPS的一部分，现在是ETAPS卫星活动的一部分。PLACES 2012于3月31日在爱沙尼亚塔林举行。开办这一系列讲习班是为了促进新的程序设计语言思想应用于为并行和通信是内在方面的系统开发软件这一日益重要的问题。这包括用于多核系统和大规模分布式和/或面向服务的系统的软件。PLACES的范围包括新的程序设计语言特性、全新的程序设计语言设计、新的类型系统、新的语义方法、新的程序分析技术和新的实现机制。今年的论文征集活动共收到17份论文，方案委员会从中挑选了10份论文在讲习班上介绍。讲习班结束后，所有作者都应邀编写了论文的修订本，以列入《欧洲条约汇编》的议事录。六篇论文的作者接受了邀请，这些论文构成了本卷。
Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
本文集收录了2026年PLACES会议论文，探讨并发与分布式编程挑战及现代软件基础，涵盖新语言设计、模型、类型系统及应用领域。
Modern hardware platforms, from the very small to the very large, increasingly provide parallel and distributed computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens, hundreds, and even thousands of compute nodes. Computation in such systems is thus inherently concurrent and communication centric. Effectively programming such applications is challenging; performance, correctness, and scalability are difficult to achieve. The development of effective programming methodologies for this increasingly parallel landscape therefor…
PLACES 2017 (full title: Programming Language Approaches to Concurrency- and Communication-cEntric Software) is the tenth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop has been part of ETAPS every year since 2009 and is now an established part of the ETAPS satellite events. PLACES 2017 was held on 29th April in Uppsala, Sweden. The workshop series was started in order to promote the application of novel programming language ideas to the increasingly important problem of developing software for systems in which concurrency …
PLACES 2015 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the eighth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop has been part of ETAPS every year since 2009 and is now an established part of the ETAPS satellite events. PLACES 2015 was held on 18th April in London, UK. The workshop series was started in order to promote the application of novel programming language ideas to the increasingly important problem of developing software for systems in which concurrency and …
Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
本文是PLACES 2025研讨会论文集，涵盖并发与分布式编程语言方法、类型系统、验证及应用，旨在促进相关领域新思想交流。
Programming Telepathy: Implementing Quantum Non-Locality Games
量子伪心灵感应是将量子信息理论应用于通信复杂性的一种有趣现象。为了证明这一现象，量子通信复杂性领域的研究人员设计了许多量子非定域性游戏。这些游戏的设定如下：玩家被分开，因此他们之间不可能进行通信，并被赋予一定的计算任务。当玩家可以使用一种称为纠缠的量子资源时，他们就可以完成任务：这在经典环境中是不可能的。对于一个不熟悉量子力学定律的观察者来说，参与者似乎使用了某种心灵感应;也就是说，他们以某种方式交换信息，而不共享通信信道。本文提供了一个正式的框架，指定，实施和分析量子非局域性游戏。
Expressiveness of Communication in Answer Set Programming
答案集编程（ASP）是一种声明式编程，允许简洁地制定和有效地解决复杂的问题。这种形式主义的一个直观扩展是通信ASP，其中多个ASP程序协作解决手头的问题。然而，通信ASP的表现力还没有得到彻底的研究。在本文中，我们提出了一个系统的研究提供了额外的表现力，允许ASP程序进行通信。首先，我们考虑一种简单的通信形式，其中程序只允许相互提问。在大多数情况下，我们故意只考虑简单的程序，即程序的计算答案集是在P.我们发现，决定是否是一个文字在一些答案集的通信ASP程序使用简单的通信的问题是NP难的。换句话说：由于这些简单的ASP程序的通信和协作能力，我们在多项式层次结构中向上移动了一步。其次，我们修改了通信机制，使我们能够专注于一系列通信程序，其中序列中的每个程序可能会相继删除一些剩余的模型。这模仿了一个领导者网络，第一个领导者有第一个发言权，可以删除他或她认为不满意的模型。使用这种特殊的通信机制使我们能够捕获整个多项式层次结构。这意味着，特别是，通信ASP可以用来解决的问题，在第二层的多项式层次结构，如某些形式的溯因推理以及PSPACE完全的问题，如CNOPS规划。
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software
这是Places'10的会议记录，第三届并行和通信软件程序设计语言方法研讨会，于2010年3月21日在塞浦路斯的Pathos举行，与ETAPS联合会议在同一地点举行。PLACES旨在提供一个论坛，让来自不同领域的研究人员在不久的将来就编程中的一个核心挑战交换新的想法，即开发并行和分布是规范而不是边缘问题的编程方法和基础设施。方案委员会经过仔细和彻底的审查过程，从14份提交的文件中选出10份提交方案。每份提交的论文至少由两名评审人进行评估，并在两周的电子讨论中选出被接受的论文。本后续会议记录包含基于这些提交材料的论文，其中纳入了这些和进一步审查的结果，从而增强了技术成果和演示文稿。
Collective adaptive systems are new emerging computational systems consisting of a large number of interacting components and featuring complex behaviour. These systems are usually distributed, heterogeneous, decentralised and interdependent, and are operating in dynamic and possibly unpredictable environments. Finding ways to understand and design these systems and, most of all, to model the interactions of their components, is a difficult but important endeavour. In this article we propose a language-based approach for programming the interactions of collective-adaptive systems by relying on…
Corps: A Core Calculus of Hierarchical Choreographic Programming
本文提出层次化编排编程概念，并设计了语言Corps，通过授权逻辑中的命题即类型解释，将数据所有权建模为模态，解决了通信非线性建模与逻辑对应问题。
Quantum Recursive Programming with Quantum Case Statements
本文提出利用量子 case 语句递归定义大型酉变换的量子递归程序设计方案，定义配套语言与形式语义，并通过示例展示其可优雅表达量子算法。
Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
第二届并行和通信程序设计语言方法国际研讨会（PLACES）与ETAPS 2009在英国约克市举行。研讨会于2009年3月22日星期日举行。讲习班的重点是计算机软件不断变化的环境所带来的挑战。传统上，大多数软件都是为一台具有一个CPU的计算机编写的。然而，今天Web上的应用程序是使用部署在许多机器上的许多交互服务构建的;很快，现成的CPU将托管数千个核心，传感器网络将由大量处理单元组成。许多普通的应用程序很快就需要有效地利用数千个计算节点。在某种粒度级别上，这种系统中的计算将本质上是并发的和以通信为中心的。为即将到来的计算范式开发有效的编程方法需要探索和理解各种各样的思想和技术。该研讨会提供了一个论坛，来自不同领域的研究人员可以在不久的将来就编程的核心挑战之一交换新的想法，开发编程方法和基础设施，其中并发和分布是规范，而不是边缘问题。
Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
该论文集记录了 PLACES 2024 研讨会，汇集五篇并发与通信中心编程语言研究论文、主题演讲摘要及其他报告，旨在探讨现代分布式与并发编程挑战。
A Promising Future: Omission Failures in Choreographic Programming
针对分布式系统中的发送、接收与网络遗漏故障，提出支持独立恢复策略和投递保证静态检查的编排式编程理论，并在 Choral 中实现验证。
Go is a production-level statically typed programming language whose design features explicit message-passing primitives and lightweight threads, enabling (and encouraging) programmers to develop concurrent systems where components interact through communication more so than by lock-based shared memory concurrency. Go can only detect global deadlocks at runtime, but provides no compile-time protection against all too common communication mismatches or partial deadlocks. This work develops a static verification framework for liveness and safety in Go programs, able to detect communication error…
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
智能体通信语言的研究通常以言语行为范式为出发点。尽管他们的明显的吸引力，言语行为模型的通信有几个严重的缺点作为人工智能体系统中的通信的基础。特别是，它已被证明是非常困难的，以语音行为为基础的智能体通信语言的满意的语义。在某种程度上，问题在于言语行为语义学通常参考代理的“心理状态”（他们的信念，愿望和意图），并且通常没有办法将这种态度归因于任意的计算代理。此外，代理程序设计语言只有他们的语义形式化的抽象，独立的版本，忽略了方面，如通信原语。关于通信，实现的代理程序设计语言往往是相当特别的。本文解决了这两个问题，通过给语义的语音行为的AgentSpeak代理收到的消息。AgentSpeak是一种基于逻辑的Agent程序设计语言，它结合了反应式规划系统的PRS模型的主要特征。本文建立在一个结构操作语义，我们在以前的工作中开发的AgentSpeak。本文的主要贡献如下：我们以前的工作的AgentSpeak解释器的理论基础上的扩展;一个计算接地的语义（核心）用于言语行为为基础的智能体通信语言的施为;和一个定义良好的扩展AgentSpeak，支持智能体通信。
Variational Quantum Algorithms are hybrid classical-quantum algorithms where classical and quantum computation work in tandem to solve computational problems. These algorithms create interesting challenges for the design of suitable programming languages. In this paper we introduce Qimaera, which is a set of libraries for the Idris 2 programming language that enable the programmer to implement (variational) quantum algorithms where the full power of the elegant Idris language works in synchrony with quantum programming primitives that we introduce. The two key ingredients of Idris that make th…
Proceedings 39th International Conference on Logic Programming
本卷为ICLP 2023会议的技术通讯集，涵盖主轨道、博士联盟、应用与系统/演示、近期发表研究、兴趣小组及逻辑程序设计与机器学习、可解释性、伦理和可信赖性等主题轨道。
Quantum Predicative Programming
这项工作的主题是量子预测编程--研究在量子计算机上执行的程序的开发。我们在程序开发的正式方法或编程方法论的背景下看待编程。我们的工作是基于概率预测编程，最近概括的良好的预测编程。它支持程序开发的风格，其中每个编程步骤都被证明是正确的。我们继承了该理论的优点，如它的通用性，递归程序的简单处理，时间和空间的复杂性，和通信。我们的量子编程理论提供了编写经典和量子规范的工具，开发实现这些规范的量子程序，并在同一框架中推理它们的相对时间和空间复杂性。
Choreographic Programming is a paradigm for developing correct-by-construction concurrent programs, by writing high-level descriptions of the desired communications and then synthesising process implementations automatically. So far, choreographic programming has been explored in the monadic setting: interaction terms express point-to-point communications of a single value. However, real-world systems often rely on interactions of polyadic nature, where multiple values are communicated among two or more parties, like multicast, scatter-gather, and atomic exchanges. We introduce a new model for…
Modular programming is a cornerstone in software development, as it allows to build complex systems from the assembly of simpler components, and support reusability and substitution principles. In a distributed setting, component assembly is supported by communication that is often required to follow a prescribed protocol of interaction. In this paper, we present a language for the modular development of distributed systems, where the assembly of components is supported by a choreography that specifies the communication protocol. Our language allows to separate component behaviour, given in te…
Cala-gopher is a library-level Scala implementation of communication sequence process constructs: channels, selectors (similar to analogical constructs in Limbo or Go) transputers (similar to Occam proc) and a set of high-level operations on top of akka and SIP-22 async. The framework integrates CSP-style programming into standard Scala concurrency environment via idiomatic API. This allows usage of communication patterns, well known in Go world, but not easy expressable in mainstream scala concurrency frameworks, along with algebraic approach for composing computation builders. Besides, we wa…
Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
本卷包含PLACES 2014的后续会议记录，第七届并行和通信软件程序设计语言方法研讨会，于2014年4月12日在法国格勒诺布尔举行，并与ETAPS，欧洲软件理论与实践联合会议共同举办。PLACES系列研讨会旨在提供一个论坛，让来自不同领域的研究人员就近期编程的核心挑战之一交换新想法：程序设计语言，方法和基础设施的发展，其中并发和分布是规范，而不是边缘问题。PLACES的前几届展会分别在罗马（2013年）、塔林（2012年）、萨尔布吕肯（2011年）、帕福斯（2010年）和约克（2009年）举办，均与ETAPS同地举办，第一届PLACES展会在奥斯陆举办，与DisCoTec同地举办（2008年）。项目委员会经过仔细和彻底的审查，从12份提交的文件中选出了9份文件，在研讨会上发表，并列入本后续程序。每份提交的论文都由三名评审员进行评估（其中一篇论文接受第四次审查），并在为期一周的电子讨论中选择被接受的论文。在9篇被接受的论文中，有一篇被有条件地接受，但须经过一名PC成员的指导，这一过程是成功的，并导致该论文被完全接受。除了贡献的论文外，研讨会还将邀请微软印度研究院的Akash Lal发表题为“在不精确的线束下发现并发错误”的演讲。
Models of quantum computation and quantum programming languages
本文的目的是介绍量子信息论中使用的基本计算模型。我们回顾了量子图灵机、量子电路和量子随机存取机（QRAM）的各种模型以及它们的经典对应物。我们还介绍了量子程序设计语言，这是使用QRAM模型开发的。我们回顾了几种现有的量子程序设计语言的语法，并讨论了它们的特点和局限性。
Inductive datatypes in programming languages allow users to define useful data structures such as natural numbers, lists, trees, and others. In this paper we show how inductive datatypes may be added to the quantum programming language QPL. We construct a sound categorical model for the language and by doing so we provide the first detailed semantic treatment of user-defined inductive datatypes in quantum programming. We also show our denotational interpretation is invariant with respect to big-step reduction, thereby establishing another novel result for quantum programming. Compared to class…
We propose a runtime architecture that can be used in the development of a quantum programming language and its programming environment. The proposed runtime architecture enables dynamic interaction between classical and quantum data following the restriction that a quantum computer is available in the cloud as a batch computer, with no interaction with the classical computer during its execution. It is done by leaving the quantum code generation for the runtime and introducing the concept of futures for quantum measurements. When implemented in a quantum programming language, those strategies…
Extending scientific computing system with structural quantum programming capabilities
我们提出了一个基本的高级结构用于开发量子程序设计语言。所提出的结构是许多现有量子程序设计语言中常用的，我们使用基于QCL量子程序设计语言的量子伪码来描述它们。我们还介绍了在科学计算的GNU Octave语言中引入的结构的实现。在实现中使用的程序可作为一个包量子倍频程，提供了一个函数库，这有利于量子计算的模拟。该软件包还允许将高级编程概念纳入GNU Octave和Matlab的仿真中。因此，它将高级量子程序设计语言特有的功能与现代科学计算系统中常见的高效计算例程的全部调色板连接起来。为了呈现所描述的包的主要特征，我们提供了所选择的量子算法的实现。我们还展示了如何量子误差可以考虑在量子算法的模拟使用量子倍频程包。这是可能的，这要归功于对密度矩阵进行操作的能力。
Multiparty Session Types (MPST) is a typing discipline for communication protocols. It ensures the absence of communication errors and deadlocks for well-typed communicating processes. The state-of-the-art implementations of the MPST theory rely on (1) runtime linearity checks to ensure correct usage of communication channels and (2) external domain-specific languages for specifying and verifying multiparty protocols. To overcome these limitations, we propose a library for programming with global combinators -- a set of functions for writing and verifying multiparty protocols in OCaml. Local b…
QuECT: A New Quantum Programming Paradigm
量子计算构成了计算机科学的一个迅速扩展的子领域。有效的量子编程语言的可用性促进了量子算法的开发，文献中已经提出了大量的方法，从基于GUI的简单工具到精心设计的独立编程语言。在本文中，我们提出了一种新的范例称为量子嵌入电路技术（QuECT），允许程序员嵌入一个电路图在一个经典的“主机”语言。该范式可以在任何现代古典语言中实现。作者使用Java开发了一个原型。
Gate-based quantum programming languages are ubiquitous but measurement-based languages currently exist only on paper. This work introduces MCBeth, a quantum programming language which allows programmers to directly represent, program, and simulate measurement-based and cluster state computation by building upon the measurement calculus. While MCBeth programs are meant to be executed directly on hardware, to take advantage of current machines we also provide a compiler to gate-based instructions. We argue that there are clear advantages to measurement-based quantum computation compared to gate…
Implementing a teleo-reactive programming system
本论文探讨了控制自主智能体，如机器人的目的反应编程范式。目的反应编程为目标导向编程提供了一种鲁棒的机会主义方法，该方法不断对感测到的环境做出反应。特别是，TR和TeleoR系统进行了研究。它们影响了用Python编程的目的反应系统的设计，用于通过Pedro通信架构控制自主智能体。为了演示该系统，它被用作一个简单游戏中的控制器。
Quantum computing is an emerging paradigm that opens a new era for exponential computational speedup. Still, quantum computers have yet to be ready for commercial use. However, it is essential to train and qualify today the workforce that will develop quantum acceleration solutions to get the quantum advantage in the future. This tutorial gives a broad view of quantum computing, abstracting most of the mathematical formalism and proposing a hands-on with the quantum programming language Ket. The target audience is undergraduate and graduate students starting in quantum computing -- no prerequi…
Cove: A Practical Quantum Computer Programming Framework
虽然还没有商业存在，量子计算机有能力解决某些类别的问题，这些问题在现有的基于图灵机的（经典）计算机上无法有效解决。要使量子计算机发挥作用，必须存在对其进行编程的方法。目前存在对量子计算机进行编程的提议，但所有现有的量子计算机都存在缺陷，使得它们在商业软件开发环境中不切实际。Cove是一个用于编程量子计算机的框架，它扩展了现有的经典语言以允许量子计算，从而为商业软件开发人员提供了一个量子计算工具包。由于Cove的目标用户是商业开发人员，因此它是一个面向对象的框架，可用于多种语言，并强调完整的文档。Cove的重点并不是软件产品，而是使量子计算对普通开发人员实用的基本概念。
Multitier programming languages reduce the complexity of developing distributed systems by developing the distributed system in a single coherent code base. The compiler or the runtime separate the code for the components of the distributed system, enabling abstraction over low level implementation details such as data representation, serialization and network protocols. Our ScalaLoci language allows developers to declare the different components and their architectural relation at the type level, allowing static reasoning about about distribution and remote communication and guaranteeing stat…
In this work we introduce Qumin, a novel quantum programming language with a focus on providing an easy to use, minimalist, high-level, and easily extensible platform for quantum programming. Qumin's design concentrates on encompassing the various interactions between classical and quantum computation via the use of two sublanguages: an untyped one that handles classical preparation and control, and one linearly typed that explicitly handles quantum routines. This allows the classical part of the language to be freely used for general programming while placing restrictions on the quantum part …
Many quantum programs require circuits for addition, subtraction and logical operations. These circuits may be packaged within routines known as oracles. However, oracles can be tedious to code with current frameworks. To solve this problem the author developed Higher-Level Oracle Description Language (HODL) -- a C-style programming language for use on quantum computers -- to ease the creation of such circuits. The compiler translates high-level code written in HODL and converts it into OpenQASM, a gate-based quantum assembly language that runs on IBM Quantum Systems and compatible simulators.
Programming communicating processes is challenging, because it requires writing separate programs that perform compatible send and receive actions at the right time during execution. Leaving this task to the programmer can easily lead to bugs. Choreographic programming addresses this challenge by equipping developers with high-level abstractions for codifying the desired communication structures from a global viewpoint. Given a choreography, implementations of the involved processes can be automatically generated by endpoint projection (EPP). While choreographic programming prevents manual mis…
This paper describes a quantum programming environment, named $Q|SI\rangle$. It is a platform embedded in the .Net language that supports quantum programming using a quantum extension of the $\mathbf{while}$-language. The framework of the platform includes a compiler of the quantum $\mathbf{while}$-language and a suite of tools for simulating quantum computation, optimizing quantum circuits, and analyzing and verifying quantum programs. Throughout the paper, using $Q|SI\rangle$ to simulate quantum behaviors on classical platforms with a combination of components is demonstrated. The scalable f…
Communicating systems comprise diverse software components across networks. To ensure their robustness, modern programming languages such as Rust provide both strongly typed channels, whose usage is guaranteed to be affine (at most once), and cancellation operations over binary channels. For coordinating components to correctly communicate and synchronise with each other, we use the structuring mechanism from multiparty session types, extending it with affine communication channels and implicit/explicit cancellation mechanisms. This new typing discipline, affine multiparty session types (AMPST…
On Quantum Programming Languages
本指导研究资格论文回顾了作者自2008年以来在量子编程语言领域的贡献，并探讨了该学科的演变及当前研究趋势，旨在为相关领域的研究生提供入门指引。
Quantum Programming Without the Quantum Physics
本文提出了一种无需量子物理基础的量子编程范式，通过引入负概率随机数生成器，使量子编程更易于理解和实现。
High-level quantum algorithm programming using Silq
本文探讨了高级量子编程语言 Silq 的优势与特性，分享了使用其设计和实现高级量子算法的见解，展示了其在量子编程中的实际应用与优势。
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
本文研究会话编程和类型的基准测试的例子，比较生产力，安全性和性能与其他通信程序设计语言。并行算法被用来检查上述方面，由于它们广泛使用的消息传递的交互，以及它们在算法研究中的日益突出的硬件资源，如多核机器和集群的可用性。我们贡献了新的基准测试结果SJ，Java的类型安全，二进制会话编程的扩展，对MPJ Express，基于MPI标准的Java消息传递系统。总之，我们观察到（1）尽管有丰富的库和功能，MPI仍然是一个低级API，并且可能遭受显式消息传递的常见缺点，如死锁和意外的消息类型，以及（2）高级会话抽象的好处，这对程序结构有显着影响，以提高可读性和可靠性，并且会话类型安全可以极大地促进通信编程的任务，同时保持有竞争力的性能。
A programming language characterizing quantum polynomial time
本文提出一阶量子语言 FOQ 及其有界宽度子集 PFOQ，用以刻画量子复杂度类 FBQP，并给出将 PFOQ 程序编译为多项式规模量子电路的保持语义算法。
A Survey of Quantum Programming Languages
本文提出语言分类框架，调查十种流行量子编程语言，通过概念与实验比较，总结未来语言设计面临的挑战。
Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
Maty是首个支持静态多方会话类型和多会话Actor的编程语言，通过流敏感效果系统和事件驱动编程实现通信安全与系统容错。
Imperative Quantum Programming with Ownership and Borrowing in Guppy
本文提出一种结合线性类型与指令式语义的量子类型系统，并在 Guppy 语言中实现，以在指令式量子编程中保持安全保证。
Is Productivity in Quantum Programming Equivalent to Expressiveness?
针对量子编程范式间表达能力差异不明确的问题，通过比较宿主型（如Qiskit）和独立型（如Q#）量子语言对核心量子算法的实现，以LOC、CC、HC为生产力指标，发现不同范式在表达能力与生产力间存在显著权衡，强调了语言设计的重要性。
With the potential of quantum algorithms to solve intractable classical problems, quantum computing is rapidly evolving and more algorithms are being developed and optimized. Expressing these quantum algorithms using a high-level language and making them executable on a quantum processor while abstracting away hardware details is a challenging task. Firstly, a quantum programming language should provide an intuitive programming interface to describe those algorithms. Then a compiler has to transform the program into a quantum circuit, optimize it and map it to the target quantum processor resp…
A Survey of Quantum Programming Languages: History, Methods, and Tools
量子计算机编程是从量子计算、计算机科学、数学（特别是量子逻辑、lambda演算和线性逻辑）的多学科研究中出现的一个新的学科领域，并且工程试图构建第一台非平凡的量子计算机。本文简要回顾了大约在2007年底为量子计算机编程的历史、方法和提出的工具。它的目的是提供一个广泛的，但非详尽的工作，导致目前的最先进的量子计算机编程。此外，它试图分析量子程序员所需的编程工具，使用这种分析来预测该领域的发展方向，并为量子程序设计语言工具的进一步发展提出建议。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。