{PDF} Trustworthy compilers Vladimir O. Safonov

Vladimir O. Safonov’s approach to this complex topic is superb. Developer’s who are seasoned as well as those who are building experience will find this text rewarding. I appreciated the gradual and logical approach starting with basic concepts of Trustworthy compilers and development principles. This text should be included in computer science curriculum as it gives a superb backdrop/history and exposes new concepts and approaches within the Trustworthy framework. The questions and exercises after each chapter are detailed and when completed will give the student a firm grasp of the applications and theories presented. I highly recommend this book for new developers, experienced developers, and most importantly, computer science and computer engineering students.