Related Books
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: 1101
Pages: 1101
Type: BOOK - Published: 2007-06-29 - Publisher: Pearson Education
The First Expert Guide to Static Analysis for Software Security! Creating secure code requires more than just good intentions. Programmers need to know that the
Language: en
Pages: 348
Pages: 348
Type: BOOK - Published: 2014-09-09 - Publisher: CRC Press
Uses Finite Element Analysis (FEA) as Implemented in SolidWorks SimulationOutlining a path that readers can follow to ensure a static analysis that is both accu
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.
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
