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. © IFIP International Federation for Information Processing 2006.
CITATION STYLE
Garoche, P. L., Pantel, M., & Thirioux, X. (2006). Static safety for an actor dedicated process calculus by abstract interpretation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4037 LNCS, pp. 78–92). Springer Verlag. https://doi.org/10.1007/11768869_8
Mendeley helps you to discover research relevant for your work.