Typing Concurrent Objects and Actors

International audienceAs informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal method in order to ease the development of such applications. In this context, we propose precise type systems for concurrent object and actor oriented programming languages. This paper analyzes the type systems that we have developed for realistic languages and presents their benefits and limits. First, it introduces the kernel of an actor language used to describe and validate the proposed technic. Then, the errors we wish to detect are precisely defined. Afterwards, the first type system is defined and its properties are presented. Finally, insights are given on a second more powerful type system, which is the basis of our future work