行为原型
Behavioural Prototypes
摘要：
我们勾勒出一个简单的并发对象语言，探讨类型系统和连续测试之间的设计空间。在我们的语言中，程序是自动检查多方兼容性的通信自动机的集合。这个属性取自会话类型文献，但这里应用于术语而不是类型，保证在执行过程中不会出现与状态相关的错误：没有对象因为发送了错误的消息而卡住，并且每个消息都被处理。
英文摘要：
We sketch a simple language of concurrent objects which explores the design space between type systems and continuous testing. In our language, programs are collections of communicating automata checked automatically for multiparty compatibility. This property, taken from the session types literature but here applied to terms rather than types, guarantees that no state-related errors arise during execution: no object gets stuck because it was sent the wrong message, and every message is processed.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
