Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures

This paper presents a framework for the static specification and safe programming of message passing protocols where the number and kinds of participants are dynamically instantiated. We develop the first theory of distributed multiparty session types (MPST) to support parameterised protocols with i...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 3; H. POPL; S. 1 - 30
Hauptverfasser:	Castro, David, Hu, Raymond, Jongmans, Sung-Shik, Ng, Nicholas, Yoshida, Nobuko
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 02.01.2019
Schlagworte:	Compilers Computing methodologies Concurrent programming languages Distributed computing methodologies Distributed programming languages General programming languages Language types Software and its engineering Software notations and tools Source code generation Go multiparty session types distributed programming indexed roles
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!