Results 41 to 50 of about 14,163,398 (293)
Foundations of session types [PDF]
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, 2009 Sessions are a common and widespread mechanism of interaction in distributed architectures. Two processes wanting to interact establish a connection on a common public channel. In this connection they agree on some private channel on which to have a conversation, dubbed session.
Giuseppe Castagna +3 more
openaire +4 more sources
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version) [PDF]
European Conference on Object-Oriented Programming, 2021 Human fallibility, unpredictable operating environments, and the heterogeneity of hardware devices are driving the need for software to be able to adapt as seen in the Internet of Things or telecommunication networks.
P. Harvey, S. Fowler, O. Dardha, S. Gay
semanticscholar +1 more source
Electronic Proceedings in Theoretical Computer Science, 2011 We show how systems of session types can enforce interactions to be bounded for all typable processes. The type system we propose is based on Lafont's soft linear logic and is strongly inspired by recent works about session types as intuitionistic linear
Paolo Di Giamberardino, Ugo Dal Lago
doaj +1 more source
Journal of Functional Programming, 2019 Abstract Session types are a rich type discipline, based on linear types, that lifts the sort of safety claims that come with type systems to communications. However, web-based applications and microservices are often written in a mix of languages, with type disciplines in a spectrum between static and dynamic typing.
Atsushi Igarashi +4 more
openaire +4 more sources
kmclib: Automated Inference and Verification of Session Types [PDF]
International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2021 Theories and tools based on multiparty session types offer correctness guarantees for concurrent programs that communicate using message-passing.
Keigo Imai, J. Lange, Rumyana Neykova
semanticscholar +1 more source
Multiparty GV: functional multiparty session types with certified deadlock freedom
Proc. ACM Program. Lang., 2022 Session types have recently been integrated with functional languages, bringing message-passing concurrency to functional programming. Channel endpoints then become first-class and can be stored in data structures, captured in closures, and sent along ...
Jules Jacobs +2 more
semanticscholar +1 more source
Linearly Refined Session Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Session types capture precise protocol structure in concurrent programming, but do not specify properties of the exchanged values beyond their basic type.
Pedro Baltazar +2 more
doaj +1 more source
Proceedings of the 14th symposium on Principles and practice of declarative programming, 2012 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dardha, Ornela +2 more
openaire +3 more sources
Implementing Multiparty Session Types in Rust [PDF]
Coordination Models and Languages22nd IFIP WG 6.1 International Conference, 2020 Multiparty Session Types (MPST) is a typing discipline for distributed protocols, which ensures communication safety and deadlock-freedom for more than two participants. This paper reports on our research project, implementing multiparty session types in
Lagaillardie N, Neykova R, Yoshida N.
europepmc +2 more sources
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types [PDF]
Programming Languages and Systems29th European Symposium on Programming, 2020 A key open problem with multiparty session types (MPST) concerns their expressiveness: current MPST have inflexible choice, no existential quantification over participants, and limited parallel composition.
Jongmans S, Yoshida N.
europepmc +2 more sources