Skip to Main content Skip to Navigation
Conference papers

Type-Based Analysis for Session Inference (Extended Abstract)

Abstract : We propose a type-based analysis to infer the session protocols of channels in an ML-like concurrent functional language. Combining and extending well-known techniques, we develop a type-checking system that separates the underlying ML type system from the typing of sessions. Without using linearity, our system guarantees communication safety and partial lock freedom. It also supports provably complete session inference for finite sessions with no programmer annotations. We exhibit the usefulness of our system with interesting examples, including one which is not typable in substructural type systems.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-01432922
Contributor : Hal Ifip <>
Submitted on : Thursday, January 12, 2017 - 11:34:30 AM
Last modification on : Thursday, January 12, 2017 - 11:38:42 AM
Long-term archiving on: : Friday, April 14, 2017 - 12:37:03 PM

File

426757_1_En_17_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Carlo Spaccasassi, Vasileios Koutavas. Type-Based Analysis for Session Inference (Extended Abstract). 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.248-266, ⟨10.1007/978-3-319-39570-8_17⟩. ⟨hal-01432922⟩

Share

Metrics

Record views

111

Files downloads

209