Static Analysis: 20th International Symposium, SAS 2013, Seattle, Wa, Usa, June 20-22, 2012, Proceedings

By Francesco Logozzo

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.

• Format: Paperback
• Language: English
• ISBN: 3642388558
• ISBN13: 9783642388552
• Release Date: June 2013
• Publisher: Springer
• Length: 499 Pages
• Weight: 1.56 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"