This paper presents a type inference system for a primitive actor calculus (Cap) based on set-
constraints resolution. In contrast with concurrent objects, actors can change dynamically …

The main purpose of this work is the static detection of orphan messages in actor based
languages. An orphan is a message which may not be handled by its target in some …

Formal models, core calculi, and type systems, are important tools for rigorously stating the
more subtle details of a language, to characterise and study its features and the correctness …

The actor model eases the definition of concurrent programs with non uniform behaviors.
Static analysis of such a model was previously done in a data-flow oriented way, with type …

The main purpose of our work is the typing of concurrent, distributed and mobile programs
based on the actor programming model, that is non-uniform behaviour concurrent objects …

Formal models, core calculi, and type systems, are important tools for rigorously stating the
more subtle details of a language, to characterise and study its features and the correctness …

One of the most popular programming paradigms today is that of object-oriented
programming. With the growing popularity of the language C++ and the advent of Java as …

Dans les programmes acteurs ou objets concurrents, et plus généralement dans les
logiciels clients/serveurs, certaines requêtes ne pourront pas être traitées par leur cible. Une …

Many programmers use the actor model to build distributed systems. The communication
aspects of such systems are notoriously hard to implement correctly, however, leading …

The Actor model, introduced by HEWITT and AGHA in the late 80s, describes a concurrent
communicating system as a set of autonomous agents, with non uniform interfaces and …