Introduction to Static Analysis
An Abstract Interpretation Perspective
$232.93
- Hardcover
320 pages
- Release Date
10 February 2020
Summary
A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays an important role in all phases of development, including verification of specifications and programs, the synthesis of optimized code, and the refactoring and maintenance of software applications. This book offers a self-contained in…
Book Details
| ISBN-13: | 9780262043410 |
|---|---|
| ISBN-10: | 0262043416 |
| Author: | Xavier Rival, Kwangkeun Yi |
| Publisher: | MIT Press Ltd |
| Imprint: | MIT Press |
| Format: | Hardcover |
| Number of Pages: | 320 |
| Release Date: | 10 February 2020 |
| Weight: | 704g |
| Dimensions: | 229mm x 178mm x 19mm |
| Series: | The MIT Press |
You Can Find This Book In
About The Author
Xavier Rival
Xavier Rival is Research Director at INRIA Paris and head of the research group on static analysis at Ecole Normale Superieure/CNRS/INRIA/PSLKwangkeun Yi is Professor in the Department of Computer Science & Engineering at Seoul National University and head of its Programming Research Laboratory.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.