Static Analysis of Actors by Abstract Interpretation Год выпуска: 2010Автор: Pierre-Loic GarocheИздательство: Страниц: 232ISBN: 9783843389549Описание 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.
Похожие книги
Michael Beer, Nitin Nohria, Resolving the Tension between Theory E, O of Change By Michael Beer, Nitin Nohria. Breaking the Code of Change. – М.: , 0. – 0 с. Mario Giampietro, M. GIAMPIETRO. Multi-Scale Integrated Analysis of Agroecosystems. – М.: , 0. – 0 с. Pamela P. Peterson, Frank J. Fabozzi. Analysis of Financial Statements (Frank J. Fabozzi Series). – М.: , 0. – 0 с. Research Program on the Social Aspects of HIV/AIDS and Health. A Comparative Analysis of the Financing of HIV/AIDS Programs: in Botswana, Lesotho, Mozambique, South Africa, Swaziland and Zimbabwe. – М.: , 2005. – 72 с. Jamie Linton. What Is Water?: The History of a Modern Abstraction (Nature/History/Society). – М.: , 2010. – 336 с. W.M. Groenewoud. Characterisation of Polymers by Thermal Analysis. – М.: , 2010. – 396 с. A Guzzetti. Two or Three Things I Know About Her – Analysis of a Film By Godard. – М.: , 1990. – 376 с. Abdullah Secgin and Ayse Saide Sar?gul. VIBRATION ANALYSIS OF PLATES BY DISCRETE SINGULAR CONVOLUTION METHOD. – М.: LAP Lambert Academic Publishing, 2010. – 160 с. Christian Kwaku Amuzuvi. Emulation and By-Emitter Degradation Analysis of High Power Lasers. – М.: LAP Lambert Academic Publishing, 2013. – 272 с. yousif al mashhadany. Design and Analysis of Virtual Human Arm Driven by EMG Signal. – М.: LAP Lambert Academic Publishing, 2010. – 160 с. Ramzy M. Abumandour. Numerical Analysis Of Beams And Bars Resting On Fluid Layer Using DQM. – М.: LAP Lambert Academic Publishing, 2013. – 148 с. Venkata Seshendra Kumar Karri. Rotor Dynamic Analysis of Geared Shaft Systems. – М.: LAP Lambert Academic Publishing, 2012. – 64 с. Rahul Gujar. Analytical and Experimental Analysis of Inertia Dynamometer. – М.: LAP Lambert Academic Publishing, 2014. – 140 с. Sunil Gaikwad. Fatigue Analysis of a Helical Compression Spring. – М.: LAP Lambert Academic Publishing, 2015. – 124 с. Hazmatul Farha Hamzah,Wee Teo and Mohd Shahir Liew. Nonlinear Static Analysis for Seismic Assessment of RC Structures. – М.: LAP Lambert Academic Publishing, 2014. – 164 с. Antonio Vetro,Maurizio Morisio and Marco Torchiano. Assessing The Impact Of Automatic Static Analysis On Software Quality. – М.: Scholars' Press, 2014. – 196 с. Pierre-Loic Garoche. Static Analysis of Actors by Abstract Interpretation. – М.: , 2010. – 232 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Елена (Артемовск) Защита диплома прошла удачно, оценка "хорошо". К расчетам и выводам претензий не было, на все поставленные вопросы ответила прекрасно, но я имела глупость приложить приложение к диплому, совсем не учитывая того, что в ИП баланса нет, пришлось "выкручиваться", это единственный мой минус. Ирина, огромное Вам спасибо! Желаю Вам удачи, успеха в Вашей работе.
