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
Title
Typing for Reliable Distributed Systems - Recent Advances
Author(s)
Wojciechowski, Pawel T.
Conference
DSN-2005 IEEE Workshop on Dependable Software - Tools and Methods, Yokohama, Japan, June 28 - July 1, 2005
Date
2005
Keywords
Laboratories
LSR
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LSR - Distributed Systems Laboratory
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date
2005-08-09