Design and Implementation of Concurrent C0
Programming Languages
2017-01-19 v1
Abstract
We describe Concurrent C0, a type-safe C-like language with contracts and session-typed communication over channels. Concurrent C0 supports an operation called forwarding which allows channels to be combined in a well-defined way. The language's type system enables elegant expression of session types and message-passing concurrent programs. We provide a Go-based implementation with language based optimizations that outperforms traditional message passing techniques.
Keywords
Cite
@article{arxiv.1701.04929,
title = {Design and Implementation of Concurrent C0},
author = {Max Willsey and Rokhini Prabhu and Frank Pfenning},
journal= {arXiv preprint arXiv:1701.04929},
year = {2017}
}
Comments
In Proceedings LINEARITY 2016, arXiv:1701.04522. Extended version at: http://mwillsey.com/papers/cc0-thesis.pdf