Publication

Typing for Reliable Distributed Systems - Recent Advances

2005
Conference Papers

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.

Official source

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Typing for Reliable Distributed Systems - Recent Advances

Chat with Graph Search

Initialization patterns in Dotty

Decrypting Local Type Inference