Behavioural Types for Heterogeneous Systems (Position Paper)

Simon Fowler,Philipp Haller,Roland Kuhn,Sam Lindley,Alceste Scalas,Vasco T. Vasconcelos
DOI: https://doi.org/10.4204/EPTCS.401.4
2024-04-08
Abstract: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.
Programming Languages
What problem does this paper attempt to address?