Review of 'Principles of Program Analysis' on 'Goodreads'
3 stars
It is dense. Really dense, overly dense, and a lot could have been explained better. Uses the words 'clearly' 'obviously' 'naturally follows' on more than numerous occasions to cover up huge logical leaps. Can't argue with the theories or the completeness of the book, though, even if it was not really what I was looking for...