Abstract

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.

Details

Actions