Related Books

Principles of Program Analysis
Language: en
Pages: 465
Authors: Flemming Nielson
Categories: Computers
Type: BOOK - Published: 2015-02-27 - Publisher: Springer

DOWNLOAD EBOOK

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code
Introduction to Static Analysis
Language: en
Pages: 315
Authors: Xavier Rival
Categories: Computers
Type: BOOK - Published: 2020-02-11 - Publisher: MIT Press

DOWNLOAD EBOOK

A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users. Static program anal
Program Budgeting
Language: en
Pages: 414
Authors: David Novick
Categories: Business & Economics
Type: BOOK - Published: 1967 - Publisher: Harvard University Press

DOWNLOAD EBOOK

This book is designed to help improve understanding of the principles of program budgeting in relation to the decisionmaking process in the federal government;
Software Testing and Analysis
Language: en
Pages: 516
Authors: Mauro Pezze
Categories: Computers
Type: BOOK - Published: 2008 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

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
Principles of Abstract Interpretation
Language: en
Pages: 833
Authors: Patrick Cousot
Categories: Computers
Type: BOOK - Published: 2021-09-21 - Publisher: MIT Press

DOWNLOAD EBOOK

Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs.