This volume presents the refereed proceedings from the 14th
International Symposium on Static Analysis. 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.
General
Imprint: |
Springer-Verlag
|
Country of origin: |
Germany |
Series: |
Lecture Notes in Computer Science, 4634 |
Release date: |
August 2007 |
First published: |
2007 |
Editors: |
Hanne Riis Nielson
• Gilberto File
|
Dimensions: |
235 x 155 x 24mm (L x W x T) |
Format: |
Paperback
|
Pages: |
469 |
Edition: |
2007 ed. |
ISBN-13: |
978-3-540-74060-5 |
Categories: |
Books >
Computing & IT >
Computer programming >
General
|
LSN: |
3-540-74060-0 |
Barcode: |
9783540740605 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!