Media type: E-Book; Conference Proceedings Title: Static Analysis : 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings Contributor: Cousot, Radhia [Author]; Martel, Matthieu [Editor] Published: Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 Published in: Lecture notes in computer science ; 6337 Bücher Extent: Online-Ressource (XI, 473p. 131 illus, online resource) Language: English DOI: 10.1007/978-3-642-15769-1 ISBN: 9783642157691 Identifier: RVK notation: SS 4800 : Lecture notes in computer science Keywords: Statische Analyse Statische Analyse > Bug > Softwaretest Statische Analyse > Codeoptimierung Abstrakte Interpretation Statische Analyse > Datenfluss > Kontrollfluss Origination: Footnote: