|Introduction to Static Analysis (MIT Press)|
|Monday, 24 February 2020|
This book, subtitled "An Abstract Interpretation Perspective", offers a self-contained introduction to static analysis, covering the basics of both theoretical foundations and practical considerations in the use of static analysis tools. Authors Xavier Rival and Kwangkeun Yi offer a quick and comprehensive introduction for nonspecialists.The text covers the mathematical foundations of static analysis, including semantics, semantic abstraction, and computation of program invariants. It also covers more advanced notions and techniques, including techniques for enhancing the cost-accuracy balance of analysis and abstractions for advanced programming features.
Authors: Xavier Rival and Kwangkeun Yi
For more Book Watch just click.
Book Watch is I Programmer's listing of new books and is compiled using publishers' publicity material. It is not to be read as a review where we provide an independent assessment. Some, but by no means all, of the books in Book Watch are eventually reviewed.
To have new titles included in Book Watch contact BookWatch@i-programmer.info