面向对象的编舞式编程
摘要：编程用语言Choral的首次出现，它是基于主流编程抽象的舞蹈编排（多方协议）语言：在Choral中，编排是对象。通过编译器，给定一个定义了各角色（Alice，Bob等）之间交互的编排，为编排中的每个角色自动生成一个实现。这些实现是纯Java的库，开发人员可以将它们模块化地组合到自己的程序中，以正确地参与编排。
作者：Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti
论文ID：2005.09520
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-07-05