.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Static Analysis
. Ed(S): Alpuente, Maria; Vidal, German
€ 67.95
FREE Delivery in Ireland
Description for Static Analysis
Paperback. Constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008. This book addresses various aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, and data flow analysis. Editor(s): Alpuente, Maria; Vidal, German. Series: Lecture Notes in Computer Science. Num Pages: 389 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 605.
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence. The 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, ... Read more
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence. The 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, ... Read more
Product Details
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
389
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
379
Place of Publication
Berlin, Germany
ISBN
9783540691631
SKU
V9783540691631
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Static Analysis