M Fähndrich, M Aiken, C Hawblitzel, O Hodson… - Proceedings of the 1st …, 2006 - dl.acm.org
Message-based communication offers the potential benefits of providing stronger specification and cleaner separation between components. Compared with shared-memory …
P Klint, R Lämmel, C Verhoef - ACM Transactions on Software …, 2005 - dl.acm.org
Grammarware comprises grammars and all grammar-dependent software. The term grammar is meant here in the sense of all established grammar formalisms and grammar …
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified by …
A session takes place between two parties; after establishing a connection, each party interleaves local computations with communications (sending or receiving) with the other …
JA Tov, R Pucella - ACM SIGPLAN Notices, 2011 - dl.acm.org
Alms is a general-purpose programming language that supports practical affine types. To offer the expressiveness of Girard's linear logic while keeping the type system light and …
Session types allow communication protocols to be specified type-theoretically so that protocol implementations can be verified by static type-checking. We extend previous work …
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static type checking. A session type …
M Neubauer, P Thiemann - … Symposium, PADL 2004, Dallas, TX, USA …, 2004 - Springer
A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying stream …
Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in …