Computer Science – Distributed – Parallel – and Cluster Computing
Scientific paper
2006-11-28
Formal Methods for Open Object-Based Distributed Systems (26/05/2006) 78-92
Computer Science
Distributed, Parallel, and Cluster Computing
Scientific paper
10.1007/11768869_8
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.
Garoche Pierre-Loïc
Pantel Marc
Thirioux Xavier
No associations
LandOfFree
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-350540