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
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 Analysis and Compilation, Theory and Practice
Language: en
Pages: 370
Authors: Thomas Reps
Categories: Computers
Type: BOOK - Published: 2007-06-05 - Publisher: Springer

DOWNLOAD EBOOK

Reinhard Wilhelm's career in Computer Science spans more than a third of a century. This Festschrift volume, published to honor him on his 60th Birthday on June
Path-Oriented Program Analysis
Language: en
Pages: 120
Authors: J. C. Huang
Categories: Computers
Type: BOOK - Published: 2007-12-24 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book presents a unique method for decomposing a computer program along its execution paths, for simplifying the subprograms so produced, and for recomposin
Tools and Methods of Program Analysis
Language: en
Pages: 225
Authors: Vladimir Itsykson
Categories: Computers
Type: BOOK - Published: 2017-12-29 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3