A Personal Historical Perspective on Abstract Interpretation

Following an historical perspective, and restricted to my work with Radhia Cousot, I discuss the origin and evolution of concepts in abstract interpretation applied to semantics, verification, static and dynamic analysis, and algorithm design. Abstract interpretation is a unifying theory of formal methods that proposes a general methodology for proving the correctness of computing systems, by sound (and sometimes complete) approximation on their semantics.