Dynamic type information in process types
Static checking of process types ensures that each object accepts all 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 problems so that it is easy to handle, for example, heterogeneous collections.
Unable to display preview. Download preview PDF.
- 1.J.-L. Colaco, M. Pantel, and P. Sall’e. A set-constraint-based analysis of actors. In Proceedings FMOODS ’97, Canterbury, United Kingdom, July 1997. Chapman & Hall.Google Scholar
- 2.Simon J. Gay. A sort inference algorithm for the polyadic π-calculus. In Conference Record of the 20th Symposium on Principles of Programming Languages, January 1993.Google Scholar
- 3.Robin Milner. The polyadic π-calculus: A tutorial. Technical Report ECS-LFCS-91-180, Dept. of Comp. Sci., Edinburgh University, 1991.Google Scholar
- 6.Flemming Nielson and Hanne Riis Nielson. From CML to process algebras. In Proceedings CONCUR’93, number 715 in Lecture Notes in Computer Science, pages 493–508. Springer-Verlag, 1993.Google Scholar
- 7.E. Najm and A. Nimour. A calculus of object bindings. In Proceedings FMOODS ’97, Canterbury, United Kingdom, July 1997.Google Scholar
- 8.Benjamin Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. In Proceedings LICS’93, 1993.Google Scholar
- 9.Franz Puntigam. Flexible types for a concurrent model. In Proceedings of the Workshop on Object-Oriented Programming and Models of Concurrency, Torino, June 1995.Google Scholar
- 10.Franz Puntigam. Types for active objects based on trace semantics. In Elie Najm et al., editor, Proceedings FMOODS ’96, Paris, France, March 1996. IFIP WG 6.1, Chapman & Hall.Google Scholar
- 11.Franz Puntigam. Coordination requirements expressed in types for active objects. In Mehmet Aksit and Satoshi Matsuoka, editors, Proceedings ECOOP ’97, number 1241 in Lecture Notes in Computer Science, Jyväskylä, Finland, June 1997. Springer-Verlag.Google Scholar
- 12.António Ravara and Vasco T. Vasconcelos. Behavioural types for a calculus of concurrent objects. In Proceedings Euro-Par ’97, Lecture Notes in Computer Science. Springer-Verlag, 1997.Google Scholar
- 13.Vasco T. Vasconcelos. Typed concurrent objects. In Proceedings ECOOP’94, number 821 in Lecture Notes in Computer Science, pages 100–117. Springer-Verlag, 1994.Google Scholar
- 14.Vasco T. Vasconcelos and Kohei Honda. Principal typing schemes in a polyadic pi-calculus. In Proceedings CONCUR’93, July 1993.Google Scholar