Principles of Program Analysis

Principles of Program Analysis
Author :
Publisher : Springer
Total Pages : 465
Release :
ISBN-10 : 9783662038116
ISBN-13 : 3662038110
Rating : 4/5 (110 Downloads)

Book Synopsis Principles of Program Analysis by : Flemming Nielson

Download or read book Principles of Program Analysis written by Flemming Nielson and published by Springer. This book was released on 2015-02-27 with total page 465 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.


Principles of Program Analysis 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
Principles of Program Analysis
Language: en
Pages: 482
Authors: Flemming Nielson
Categories: Computers
Type: BOOK - Published: 2004-12-10 - Publisher: Springer Science & Business Media

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
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.
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