Introduction to Static Analysis: An Abstract Interpretation Perspective (Mit Press)
An authoritative introduction to static analysis through the lens of abstract interpretation, covering semantics, domains, and algorithms for sound program verification.
About This Book
This book presents the principles and methods of static analysis based on abstract interpretation.
It covers core concepts, semantic frameworks, and algorithmic techniques for analyzing software.
Readers gain insight into how abstract domains enable sound and scalable program verification.
The text is suitable for students and researchers interested in formal methods and programming languages.
Reviews
No reviews yet. Be the first to review this book!