Principles of Abstract Interpretation
Reinhard Wilhelm
Abstract
asked for confirmation whether the reviewer felt that the coming book would belong to those books that improve the world. Let me skip how I got myself out of this difficult situation. When asked whether a book will be read, the question is by whom. Citing the author, this book is intended for readers interested in the theory of abstract interpretation, the understanding of formal methods, and the design of verifiers and static analyzers. And my answer is, it is a must read for these groups of people.
Topics & Concepts
Theory of computationInterpretation (philosophy)Computer scienceEpistemologyProgramming languagePhilosophyLogic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and Knowledge