The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, security and safety, abstract interpretation and algorithms, abstract domain and data structures and more.
| ISBN: | 9783540377566 |
| Publication date: | 17th August 2006 |
| Author: | International Static Analysis Symposium, Kwangkeun Yi |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 443 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters Computer programming / software engineering |
The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, security and safety, abstract interpretation and algorithms, abstract domain and data structures and more.
Static Analysis features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters, Computer programming / software engineering
Paperback. Not Available.
Static Analysis was written by International Static Analysis Symposium, Kwangkeun Yi and published by Springer an imprint of Springer Berlin Heidelberg
Static Analysis has 443 pages
Yes it is part of Lecture Notes in Computer Science series