Introduction to Static Analysis: An Abstract Interpretation Perspective (Mit Press)
Introduction to Static Analysis offers a focused introduction to static analysis from the perspective of abstract interpretation. Written by Xavier Rival and Kwangkeun Yi, this computer science resource is suited to readers seeking a structured foundation in a significant area of programming and theoretical study.
About This Book
Introduction to Static Analysis presents a focused treatment of static analysis through the perspective of abstract interpretation.
Written by Xavier Rival and Kwangkeun Yi, the book is centered on a foundational topic in computer science and programming.
Its title positions it as an introductory resource for readers seeking to understand the concepts and methods associated with static analysis.
The book may suit students, researchers, and practitioners looking for a structured reference on this subject.
Reviews
No reviews yet. Be the first to review this book!