Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation - Université Toulouse 1 Capitole Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

Résumé

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.
Fichier principal
Vignette du fichier
source.pdf (147.2 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00116251 , version 1 (24-11-2006)

Identifiants

Citer

Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2006, Bologne, Italy. pp.78-92, ⟨10.1007/11768869_8⟩. ⟨hal-00116251⟩
72 Consultations
191 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More