Constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. This book includes papers that address various aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, and cache analysis.
| ISBN: | 9783642157684 |
| Publication date: | 9th September 2010 |
| Author: | Radhia Cousot, Matthieu Martel |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 473 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters Computer programming / software engineering |
Constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. This book includes papers that address various aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, and cache analysis.
Static Analysis Programming and Software Engineering features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters, Computer programming / software engineering
Paperback. Not Available.
Static Analysis Programming and Software Engineering was written by Radhia Cousot, Matthieu Martel and published by Springer an imprint of Springer Berlin Heidelberg
Static Analysis Programming and Software Engineering has 473 pages
Yes it is part of Lecture Notes in Computer Science series