Cousot Patrick. A Tutorial on Abstract Interpretation

Paris: VMCAI’05 Industrial Day, 2005. — 168 p.The abstract interpretation framework that we introduced, illustrated and explained in a series of papers and was motivated by the desire to justify the specication of program analysers with respect to some formal semantics. Patrick Cousot and Radhia Cousot a mere a posteriori justication, in that the abstract semantics can be derived systematically from the concrete one, with the hope that this process will be ultimately computer-aided. We think here, for example, to the partly automatic generation of program analysers.