Static Analysis

Autor:: Jens Palsberg
Wydawnictwo:: Springer-Verlag GmbH
Liczba stron:: 361
ISBN-13/EAN:: 9783642032363
ISBN-10:: 3642032362
Rok wydania:: lipiec 2009 r.
Realizacja:: ok. 7-10 dni + wysyłka

Static Analysis, lipiec 2009 r. : This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science.

The 21 revised full papers presented together with two invited lectures were carefully reviewed and selected from 52 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.

Książki kupowane lub oglądane razem z pozycją "Static Analysis":

Mobile Wireless Middleware, Operating Systems and Applications - Workshops Cristian Hesselman
244.00 zł This book constitutes the thoroughly refereed post-workshop proceedings of the Second International
artificial Intelligence Applications and Innovations: 3rd IFIP Conference on Artificial Intelligence Max Bramer, Ilias Maglogiannis, Kostas Karpouzis
962.00 zł artificial Intelligence Applications and Innovations: 3rd IFIP Conference on Artificial Intelligence
Formal Methods for Open Object-Based Distributed Systems V Bart Jacobs, Arend Rensink
811.00 zł Formal Methods for Open Object-Based Distributed Systems V
Genetic Programming Theory and Practice Rick Riolo, Bill Worzel
626.00 zł Genetic Programming Theory and Practice
Advances in Semantic Media Adaptation and Personalization, Volume 2 Marios C. Angelides
546.00 zł Advances in Semantic Media Adaptation and Personalization, Volume 2
xUnit Test Patterns G. Meszaros
278.00 zł The definitive guide to writing tests for todays popular XUnit test automation frameworks, this guide by
Analysis Of Computer And Communication Networks F. Gebali
378.00 zł Analysis of Computer and Communication Networks provides the basic techniques for modeling and analyzing