Principles of Abstract Interpretation
Reinhard Wilhelm · Formal Aspects of Computing · 2022
The reviewer explained to the author that in his deep insight into the nature of things and his long-term experience with textbooks there were books that improve the world and there were books that are being read.The author 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