Behavioral Types in Programming Languages
Behavioral Types in Programming Languages
复制标题
DOI：
10.1561/2500000031
复制
发表时间：
2016-01-01
影响因子：
0.4
通讯作者：
Yoshida, Nobuko
中科院分区：
文献类型：
--
作者：
Ancona, Davide;Bono, Viviana;Yoshida, Nobuko
编程语言研究的最新趋势是使用行为类型理论来确保大规模沟通密集型系统的各种正确性。行为类型包括界面，通信协议，合同和编排等概念。行为类型的成功应用需要对几个实际方面有着深入的了解，从它们的具体编程语言的表示，再到与其他编程结构（例如方法和功能）的集成，到设计和监视考虑行为的方法。这项调查概述了这些方面的艺术状况，我们总结为行为类型的语用学。
A recent trend in programming language research is to use behavioral type theory to ensure various correctness properties of large-scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their representation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to design and monitoring methodologies that take behaviors into account. This survey provides an overview of the state of the art of these aspects, which we summarize as the pragmatics of behavioral types.