Behavioural Types for Heterogeneous Systems (Position Paper)
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910402520023040 |
|---|---|
| author | Fowler, Simon Haller, Philipp Kuhn, Roland Lindley, Sam Scalas, Alceste Vasconcelos, Vasco T. |
| author_facet | Fowler, Simon Haller, Philipp Kuhn, Roland Lindley, Sam Scalas, Alceste Vasconcelos, Vasco T. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_05479 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Behavioural Types for Heterogeneous Systems (Position Paper) Fowler, Simon Haller, Philipp Kuhn, Roland Lindley, Sam Scalas, Alceste Vasconcelos, Vasco T. Programming Languages 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. |
| title | Behavioural Types for Heterogeneous Systems (Position Paper) |
| topic | Programming Languages |
| url | https://arxiv.org/abs/2404.05479 |