Static Analysis of Actors by Abstract Interpretation

door Garoche, Pierre-Loïc
Staat: Nieuw
€ 78,99
Incl. BTW - Gratis verzenden
Garoche, Pierre-Loïc Static Analysis of Actors by Abstract Interpretation
Garoche, Pierre-Loïc - Static Analysis of Actors by Abstract Interpretation

Vind je dit product leuk? Verspreid het nieuws!

€ 78,99 incl. btw
Alleen 1 items beschikbaar Alleen 1 items beschikbaar
Levering: tussen donderdag 26 mei 2022 en maandag 30 mei 2022
Verkoop en verzending: Dodax

Omschrijving

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.

Bijdragers

Schrijver:
Garoche, Pierre-Loïc

Productdetails

Biografie:
Pierre-Loïc Garoche is a research scientist at Onera, the French Aerospace Lab. He is graduated from École Normale Supérieure de Cachan, France, and received his PhD degree in Computer Science from the University of Toulouse, France in 2008. His work is now mainly focused on the use of formal methods in critical embedded systems development.
Taal:
Engels
Versie:
1/2010
Aantal pagina’s:
232
Mediatype:
Paperback
Uitgever:
LAP Lambert Academic Publishing

Basisgegevens

Product Type:
Zakboek
Afmetingen pakket:
0.22 x 0.15 x 0.013 m; 0.395 kg
GTIN:
09783843389549
DUIN:
309TEMVTIAP
€ 78,99
We gebruiken cookies op onze website om onze diensten efficiënter en gebruiksvriendelijker te maken. Selecteer daarom "Accepteer cookies"! Lees ons Privacybeleid voor meer informatie.