Static Analysis of Actors by Abstract Interpretation

Name: Static Analysis of Actors by Abstract Interpretation
Availability: OutOfStock
ISBN: 9783843389549

ISBN-10: 3843389543

ISBN-13: 9783843389549

Edition: N/A

Authors: Pierre-Loï¿½c Garoche

List price: $104.00

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

The Actor model, introduced by Hewitt and Agha in the late 80s, describes a concurrent communicating system as a set of autonomous agents, with non uniform interfaces and communicating by the use of labeled messages. The CAP process calculus, proposed by Colaço, is based on this model and allows to describe non trivial realistic systems, without the need of complex encodings. CAP is a higher-order calculus: messages can carry actor behaviors. Multiple works address the analysis of CAP properties, mainly by the use of inference-based type systems using behavioral types and sub-typing. We propose here the use of another approach, based on the abstract interpretation methodlogy to address…

Book details

List price: $104.00
Publisher: Lap Lambert Academic Publishing GmbH & Company KG
Binding: Paperback
Pages: 232
Size: 6.00" wide x 9.00" long x 0.53" tall
Weight: 0.770
Language: English