.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Static Analysis
Chris Hankin
€ 71.69
FREE Delivery in Ireland
Description for Static Analysis
Paperback. Constitutes the proceedings of the 12th International Symposium on Static Analysis, SAS 2005, held in London, UK in August 2005. The papers address various aspects of static analysis, including program and systems verification, shape analysis and logic, termination analysis, security and safety, abstract interpretation and algorithms, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 374 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri?cation, software certi?cation and semantics-based manipulation. The research com- nity in static analysis covers a broad spectrum from foundational issues - new semantic models of programming languages and systems - through to practical tools.TheseriesofStatic AnalysisSymposia hasservedasthe primaryvenue for presentation and discussion of theoretical, practical and application advances in the area. This volume contains the papers accepted for presentation at the 12th Int- national Static Analysis Symposium ... Read more
Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri?cation, software certi?cation and semantics-based manipulation. The research com- nity in static analysis covers a broad spectrum from foundational issues - new semantic models of programming languages and systems - through to practical tools.TheseriesofStatic AnalysisSymposia hasservedasthe primaryvenue for presentation and discussion of theoretical, practical and application advances in the area. This volume contains the papers accepted for presentation at the 12th Int- national Static Analysis Symposium ... Read more
Product Details
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
374
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
374
Place of Publication
Berlin, Germany
ISBN
9783540285847
SKU
V9783540285847
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Static Analysis