Principles of Program Analysis

Principles of Program Analysis

English | 2010 | ISBN: 3642084745, 9783642084744 | 452 Pages | PDF | 38.85 MB Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting