Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Static Safety for an Actor Dedicated Process Calculus by Abstract
  Interpretation   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 systems. This approach was based on constraint set
resolution and was not able to deal with precise properties for communications
of behaviors. We present here a new approach, control-flow oriented, based on
the abstract interpretation framework, able to deal with communication of
behaviors. Within our new analyses, we are able to verify most of the previous
properties we observed as well as new ones, principally based on occurrence
counting.

11
The categories of this paper are: hep-lat
19
The categories of this paper are: eess
23
The categories of this paper are: solv-int
17
The categories of this paper are: q-fin
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
27
The categories of this paper are: comp-gas
35
The categories of this paper are: mtrl-th
21
The categories of this paper are: adap-org
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga