Loading...
conference paper not in proceedings
Typing for Reliable Distributed Systems - Recent Advances
Wojciechowski, Pawel T.
2005
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.
Type
conference paper not in proceedings
Authors
Wojciechowski, Pawel T.
Publication date
2005
Peer reviewed
REVIEWED
EPFL units
Event name | Event place | Event date |
Yokohama, Japan | June 28 - July 1, 2005 | |
Available on Infoscience
August 9, 2005
Use this identifier to reference this record