Conference paper

Typing for Reliable Distributed Systems - Recent Advances

In this paper, we report on recent progress in the area of language-based software dependability. We give examples of using advanced type systems for statically detecting non-trivial programming errors in programs. We have chosen examples that are particularly applicable to concurrent, distributed and modular (or component-based) systems.


  • There is no available fulltext. Please contact the lab or the authors.

Related material