Static Analysis: 12th International Symposium, SAS 2005, London, Uk, September 7-9, 2005, Proceedings

by Chris Hankin

Static analysis allows us to determine aspects of the dynamic behavior of p- grams and systems without actually executing them. Traditionally used in - timizing compilers, static analysis is now also used extensively in veri'cation, software certi'cation and semantics-based manipulation. The research com- nity in static analysis covers a broad spectrum from foundational issues - new semantic models of programming languages and systems - through to...

• Format: Paperback
• Language: English
• ISBN: 3540285849
• ISBN13: 9783540285847
• Release Date: August 2005
• Publisher: Springer
• Length: 374 Pages
• Weight: 1.25 lbs.
• Dimensions: 0.9" x 6.2" x 9.3"