Static Analysis of Actors by Abstract Interpretation
Applying Abstract Interpretation to an Higher Order Process Calculus
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
79.00 €
39 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Static Analysis of Actors by Abstract Interpretation “
Klappentext zu „Static Analysis of Actors by Abstract Interpretation “
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 principal CAP issues such as the linearity of terms or the absence of orphan messages.
Bibliographische Angaben
- Autor: Pierre-Loïc Garoche
- 2010, 232 Seiten, Kartoniert (TB), Englisch
- Verlag: LAP Lambert Academic Publishing
- ISBN-10: 3843389543
- ISBN-13: 9783843389549
Sprache:
Englisch
Kommentar zu "Static Analysis of Actors by Abstract Interpretation"
0 Gebrauchte Artikel zu „Static Analysis of Actors by Abstract Interpretation“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Static Analysis of Actors by Abstract Interpretation".
Kommentar verfassen