Картотека книг » Поиск по коду » Книги с ISBN13 9783843389549
На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.
Книга ISBN13 9783843389549 - Static Analysis of Actors by Abstract Interpretation (Pierre-Loic Garoche) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением
Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.
Где купить эту книгу?
Интернет-магазиныНазвание: 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 Colaco, 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.
Авторы: Pierre-Loic Garoche
Издательство:
Год: 2010
Местонахождение: OZON.ru
ISBN: 9783843389549
Поиск по сайту
Новости
10 января 2015 года: Запуск базы ISBN10 и ISBN13Запущена база данных ISBN и технический каталог кодов.
2015 - books.kartoteka.net
e-mail: books@kartoteka.net
e-mail: books@kartoteka.net