Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Reinhard Wilhelm (2022) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: