Principles of Program Analysis (Corrected 2nd printing, 2004)

List of misprints as of May 2005:

Chapter 1: Introduction

-          none

Chapter 2: Data Flow Analysis

-          none

Chapter 3: Constraint Based Analysis

-          none

Chapter 4: Abstract Interpretation

-          none

Chapter 5: Type and Effect Systems

-          page 303, table 5.5, the clause for if_then_else: the substitution returned should be: q4 q3 q2 q1 q0

Chapter 6: Algorithms

-          none

Appendix A: Partially Ordered Sets

-          none

Appendix B: Induction and Coinduction

-          none

Appendix C: Graphs and Regular Expressions

-          none