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.

<ASIN:0262043416>

 

Authors: Xavier Rival and Kwangkeun Yi
Publisher: The MIT Press
Date: February 2020
Pages: 320
ISBN: 978-0262043410
Print: 0262043416
Kindle: B0844NWNT7
Audience: Developers interested in static analysis techniques
Level: Intermediate
Category: Methodology 

statanal

 

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

Follow @bookwatchiprog on Twitter or subscribe to I Programmer's Books RSS feed for each day's new addition to Book Watch and for new reviews.

 

 

Banner
 


The Art of WebAssembly

Author: Rick Battagline
Publisher: No Starch
Date: May 2021
Pages: 304
ISBN: 978-1718501447
Print: 1718501447
Kindle: B08TSYXJTS
Audience: WebAssembly developers
Rating: 5
Reviewer: Ian Elliot
WebAssembly is the coming thing - or so we are told.



Functional Programming in C#, 2nd Ed (Manning)

Author: Enrico Buonanno
Publisher: Manning
Date: February 2022
Pages: 448
ISBN: 978-1617299827
Print: 1617299820
Kindle: B09P1Z2PPB
Audience: C# developers
Rating: 5
Reviewer: Mike James
Is C# a good language for functional programming?


More Reviews