Behavioural Types for Heterogeneous Systems (Position Paper)
Electronic Proceedings in Theoretical Computer Science(2024)
摘要
Behavioural types provide a promising way to achieve lightweight,
language-integrated verification for communication-centric software. However, a
large barrier to the adoption of behavioural types is that the current state of
the art expects software to be written using the same tools and typing
discipline throughout a system, and has little support for components over
which a developer has no control.
This position paper describes the outcomes of a working group discussion at
Dagstuhl Seminar 24051 (Next-Generation Protocols for Heterogeneous Systems).
We propose a methodology for integrating multiple behaviourally-typed
components, written in different languages. Our proposed approach involves an
extensible protocol description language, a session IR that can describe data
transformations and boundary monitoring and which can be compiled into
program-specific session proxies, and finally a session middleware to aid
session establishment.
We hope that this position paper will stimulate discussion on one of the most
pressing challenges facing the widespread adoption of behavioural typing.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要