This is the first entry in the series Abstract Interpretation for Engineers - a collection of bite-size posts explaining the theory and practicalities of Abstract Interpretation.