Related Books
Language: en
Pages: 482
Pages: 482
Type: BOOK - Published: 2004-12-10 - Publisher: Springer Science & Business Media
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code
Language: en
Pages: 465
Pages: 465
Type: BOOK - Published: 2015-02-27 - Publisher: Springer
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code
Language: en
Pages: 315
Pages: 315
Type: BOOK - Published: 2020-02-11 - Publisher: MIT Press
A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users. Static program anal
Language: en
Pages: 516
Pages: 516
Type: BOOK - Published: 2008 - Publisher: John Wiley & Sons
Teaches readers how to test and analyze software to achieve an acceptable level of quality at an acceptable cost Readers will be able to minimize software failu
Language: en
Pages: 833
Pages: 833
Type: BOOK - Published: 2021-09-21 - Publisher: MIT Press
Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.
