Session C is a research project at Department of Computing, Imperial College London with the aim to apply the theory of Multiparty Session Types in a natively compiled language for communication safe programming in a high performance computing environment.
The framework consists of:
- Session C runtime library (libsc) based on ZeroMQ messaging library
- Session Type checker, a static analyser based on LLVM/clang compiler
- Support tools for the Scribble protocol description language