| Abstract |
|---|
| Static checking of process types ensures that each object acceptsall messages received from concurrent clients, although the set of acceptable messages can depend on the object's state. However, conventional approaches of using dynamic type information (e.g.,checked type casts) are not applicable in the current process type model, and the typing of self-references is too restrictive. In this paper a refinement of the model is proposed. It solves these problemsso that it is easy to handle, for example, heterogeneous collections.The type model is based on a calculus of objects communicating byasynchronous message passing. |
| Contact |
| Franz Puntigam Technische Universitaet Wien,Institut fuer Computersprachen,Argentinierstrasse 8,A-1040 Vienna, Austria franz@complang.tuwien.ac.at |