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.
| ISBN: | 9783540285847 |
| Publication date: | 25th August 2005 |
| Author: | Chris Hankin, Igor Siveroni |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 374 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters Computer programming / software engineering |
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.
Static Analysis Programming and Software Engineering features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters, Computer programming / software engineering
Static Analysis Programming and Software Engineering is available in Paperback
Static Analysis Programming and Software Engineering was written by Chris Hankin, Igor Siveroni and published by Springer an imprint of Springer Berlin Heidelberg
Static Analysis Programming and Software Engineering has 374 pages
Yes it is part of Lecture Notes in Computer Science series