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...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 3; číslo POPL; s. 1 - 30
Hlavní autoři:	Castro, David, Hu, Raymond, Jongmans, Sung-Shik, Ng, Nicholas, Yoshida, Nobuko
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 02.01.2019
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!