Stock image for illustration purposes only - book cover, edition or condition may vary.
Static Analysis
Radhia Cousot (Ed.)
€ 67.41
FREE Delivery in Ireland
Description for Static Analysis
Paperback. Constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. This book includes papers that address various aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, and cache analysis. Series: Lecture Notes in Computer Science. Num Pages: 473 pages, 131 black & white illustrations, biography. BIC Classification: UGK; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 231 x 155 x 25. Weight in Grams: 726.
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation and disc- sion of theoretical, practical, and applicational advances in the area. th This year's symposium, The 17 International Static Analysis Symposium (SAS 2010), was held on September 14-16, 2010 in Perpignan, France, with 3 a?liated workshops: NSAD 2010 (The Second Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (The First Workshop on Static An- ysis and Systems Biology) on ... Read more
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation and disc- sion of theoretical, practical, and applicational advances in the area. th This year's symposium, The 17 International Static Analysis Symposium (SAS 2010), was held on September 14-16, 2010 in Perpignan, France, with 3 a?liated workshops: NSAD 2010 (The Second Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (The First Workshop on Static An- ysis and Systems Biology) on ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
473
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
473
Place of Publication
Berlin, Germany
ISBN
9783642157684
SKU
V9783642157684
Shipping Time
Usually ships in 5 to 9 working days
Ref
99-3
Reviews for Static Analysis