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.


Presented at:
DSN-2005 IEEE Workshop on Dependable Software - Tools and Methods, Yokohama, Japan, June 28 - July 1, 2005
Year:
2005
Keywords:
Laboratories:




 Record created 2005-08-09, last modified 2018-03-17


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)