A set-constraint-based analysis of actors
A set-constraint-based analysis of actors
复制标题
基于集合约束的参与者分析
DOI：
10.1007/978-0-387-35261-9_8
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
P. Sallé
中科院分区：
文献类型：
--
作者：
Jean;M. Pantel;P. Sallé
本文根据设定构成分辨率介绍了原始参与者微积分（CAP）的类型推理系统。与并发对象相反，参与者可以动态更改其接口（他们可以处理的消息集）。因此，帽子缩减规则可能会导致孤儿消息，而孤儿将永远无法处理。推理系统的目的是检测静态的许多孤儿消息，并产生导致其他人动态检测的信息。为此，我们定义了一个扁平的操作，该操作抽象了演员的各种行为。该静态分析基于Aiken和Wimmers设定构成分辨率。它给出的结果比Vasconcelos或基于Yonezawa的基于同时对象的分析提供了更好的结果。
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 their interface (the set of messages they can handle). Therefore, the Cap calculus reduction rules can lead to orphan messages which will never be handled. The aim of the inference system is to detect statically many orphan messages and to produce information leading to the dynamic detection of the others. In this purpose, we define a flattening operation which abstracts the various behaviors of an actor. This static analysis is based on Aiken and Wimmers set-constraints resolution. It gives slightly better results than Vasconcelos or Yonezawa kinded types based analysis for concurrent objects.