Results 71 to 80 of about 14,163,398 (293)
Non-Blocking Concurrent Imperative Programming with Session Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Concurrent C0 is an imperative programming language in the C family with session-typed message-passing concurrency. The previously proposed semantics implements asynchronous (non-blocking) output; we extend it here with non-blocking input.
Miguel Silva +2 more
doaj +1 more source
Using higher-order contracts to model session types [PDF]
Logical Methods in Computer Science, 2016 Session types are used to describe and structure interactions between independent processes in distributed systems. Higher-order types are needed in order to properly structure delegation of responsibility between processes.
Giovanni Bernardi, Matthew Hennessy
doaj +1 more source
Using session types as an effect system [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Side effects are a core part of practical programming. However, they are often hard to reason about, particularly in a concurrent setting. We propose a foundation for reasoning about concurrent side effects using sessions. Primarily, we show that session
Dominic Orchard, Nobuko Yoshida
doaj +1 more source
Less is more: multiparty session types revisited
Proc. ACM Program. Lang., 2019 Multiparty Session Types (MPST) are a typing discipline ensuring that a message-passing process implements a multiparty session protocol, without errors. In this paper, we propose a new, generalised MPST theory. Our contribution is fourfold.
A. Scalas, N. Yoshida
semanticscholar +1 more source
Ferrite: A Judgmental Embedding of Session Types in Rust [PDF]
arXiv.org, 2020 This paper introduces Ferrite, a shallow embedding of session types in Rust. In contrast to existing session type libraries and embeddings for mainstream languages, Ferrite not only supports linear session types but also shared session types.
Ruofei Chen +2 more
semanticscholar +1 more source
FreeST: Context-free Session Types in a Functional Language [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 FreeST is an experimental concurrent programming language. Based on a core linear functional programming language, it features primitives to fork new threads, and for channel creation and communication.
Bernardo Almeida +2 more
doaj +1 more source
Session Types with Runtime Adaptation: Overview and Examples [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In recent work, we have developed a session types discipline for a calculus that features the usual constructs for session establishment and communication, but also two novel constructs that enable communicating processes to be stopped, duplicated, or ...
Cinzia Di Giusto, Jorge A. Pérez
doaj +1 more source
Information and Computation, 2009 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mariangiola Dezani-Ciancaglini +3 more
openaire +1 more source
Resource-Aware Session Types for Digital Contracts [PDF]
IEEE Computer Security Foundations Symposium, 2019 Programming digital contracts comes with unique challenges, which include (i) expressing and enforcing protocols of interaction, (ii) controlling resource usage, and (iii) preventing the duplication or deletion of a contract’s assets.
Ankush Das +3 more
semanticscholar +1 more source
From Lock Freedom to Progress Using Session Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Inspired by Kobayashi's type system for lock freedom, we define a behavioral type system for ensuring progress in a language of binary sessions. The key idea is to annotate actions in session types with priorities representing the urgency with which such
Luca Padovani
doaj +1 more source