<電子ブック>
Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

責任表示
著者
本文言語
出版者
出版年
出版地
関連情報
概要 This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented... together with 2 invited talks were selected from 56 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.続きを見る
目次 Abstract domains
Abstract interpretation
Abstract testing
Bug detection
Data flow analysis
Model checking
New applications
Program transformation
Program verification
Security analysis
Theoretical frameworks
Type checking.
続きを見る
本文を見る Full text available from Springer Computer Science eBooks 2013 English/International
Full text available from SpringerLINK Lecture Notes in Computer Science (2015)

詳細

レコードID
主題
SSID
eISBN
登録日 2020.06.27
更新日 2020.06.28